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.
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…
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…
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…
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…