Contact join-semilattices

DOI10.1007/s11225-022-09994-1OpenAlexW3133795390MaRDI QIDQ2082255

Tatyana B. Ivanova

Publication date: 4 October 2022

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

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

zbMATH Keywords

representation theoremsmereotopologycontact algebrasspatial logicscontact joinsemilatticesdistributive contact join-semilatticespoint-free theory of space

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributive mereotopology: extended distributive contact lattices
• Distributive contact lattices: topological representations
• Connection structures
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• A study in Grzegorczyk point-free topology. II: Spaces of points
• Region-based theory of discrete spaces: A proximity approach
• Axiomatizability of geometry without points
• A representation theorem for Boolean contact algebras
• Handbook of Spatial Logics
• A Proximity Approach to Some Region-Based Theories of Space
• Logics for extended distributive contact lattices
• Topological Representation of Contact Lattices
• Full Development of Tarski's Geometry of Solids
• A relation-algebraic approach to the region connection calculus

This page was built for publication: Contact join-semilattices