4 papers · 1 filter
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 studied in (Ivanova, 2020) is a more expressive counterpart of the standard, well-known binary contact relation. Boolean algebras expanded wit…
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…