5 papers
Ultracontact algebras and stack systems
Luca Carai, Ivo Düntsch, RafaÅ GruszczyÅski +1
We study the class of structures that, in a way, generalize various approaches to the contact relation on Boolean algebras.
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…
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…
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…
Hybrid logic for strict betweenness
RafaÅ GruszczyÅski, Zhiguang Zhao
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-d…