6 papers
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…
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…
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…
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…
Subresiduated Nelson Algebras
Noemí Lubomirsky, Paula Menchón, Hernán San Martín
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introd…