From contact relations to modal operators, and back

DOI10.1007/s11225-023-10036-7arXiv2205.11208OpenAlexW4367048707MaRDI QIDQ6057621

Paula Menchón, Rafał Gruszczyński

Publication date: 26 October 2023

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal algebrasregion-based theories of spaceBoolean contact algebras

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• Region-based topology
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Region-based theory of discrete spaces: A proximity approach
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Axiomatizability of geometry without points
• Proximity structures and grills
• A representation theorem for Boolean contact algebras
• Frames and Locales
• A Proximity Approach to Some Region-Based Theories of Space
• Rough sets

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