From contact relations to modal operators, and back

DOI10.1007/S11225-023-10036-7MaRDI QIDQ6057621zbMATH OpenOpenAlexFDO

Authors Rafał Gruszczyński, Paula Menchón

Publication date 26 October 2023

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2205.11208

zbMATH Keywords

Boolean contact algebrasmodal algebrasregion-based theories of space

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Abstract: One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if x is in contact with the supremum of some family S of regions, then there is a y in S that is in contact with x. We study a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: every region is isolated. Finally, we present an interpretation of the modal operator in the class of the so-called resolution contact algebras.

Cites work

• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Algebras of approximating regions
• Axiomatizability of geometry without points
• Frames and Locales
• scientific article; zbMATH DE number 1814847 (Why is no real title available?)
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 1444734 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Proximity structures and grills
• Region-based theory of discrete spaces: A proximity approach
• Region-based topology
• Rough sets
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators

Cited in

(1)

• On nondefinability of interior-connectedness via the contact relation

This page was built for publication: From contact relations to modal operators, and back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6057621)