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