6 papers
On Nondefinability of Interior-Connectedness via the Contact Relation
RafaÅ GruszczyÅski, Paula Menchón
This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain mi…
Towards a logic of affordances
Rafal Gruszczynski, Paula Menchón, Ivo Düntsch +1
We aim to construct a formal theory of affordances seen as ternary relations. Beginning with a characterization of affordances proposed by James J. Gibson, and utilizing the tools…
Hemi-Nelson algebras
Noemà Lubomirsky, Paula Menchón, Hernán Javier San MartÃn
The aim of this paper is to generalize the link between Heyting algebras and Nelson algebras, established independently by Fidel and Vakarelov at the end of the 1970s, in the frame…
Extended Contact Algebras: Algebraic analysis and duality theory
RafaÅ GruszczyÅski, Paula Menchón, William Zuluaga
The ternary extended contact relation was introduced in (Ivanova, 2020) as a more expressive counterpart of the standard binary contact relation. The class of Boolean algebras expa…
Twist-structures isomorphic to modal Nelson lattices
Paula Menchón, Ricardo O. Rodriguez
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal…
Conditional algebras
Sergio Celani, RafaÅ GruszczyÅski, Paula Menchón
Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models univer…