Contact join-semilattices

DOI10.1007/S11225-022-09994-1MaRDI QIDQ2082255zbMATH OpenOpenAlexFDO

Authors 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 theoremscontact algebrasmereotopologyspatial logicscontact joinsemilatticesdistributive contact join-semilatticespoint-free theory of space

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Distributive contact lattices: topological representations
• Distributive mereotopology: extended distributive contact lattices
• Topological Representation of Contact Lattices
• Logics for extended distributive contact lattices
• Extended contact algebras and internal connectedness

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3598538 (Why is no real title available?)
• scientific article; zbMATH DE number 749969 (Why is no real title available?)
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• scientific article; zbMATH DE number 7594258 (Why is no real title available?)
• A proximity approach to some region-based theories of space
• A relation-algebraic approach to the region connection calculus
• A representation theorem for Boolean contact algebras
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• A study in Grzegorczyk point-free topology. II: Spaces of points
• Axiomatizability of geometry without points
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Connection structures
• Distributive contact lattices: topological representations
• Distributive mereotopology: extended distributive contact lattices
• Extended contact algebras and internal connectedness
• Full Development of Tarski's Geometry of Solids
• Handbook of Spatial Logics
• Logics for extended distributive contact lattices
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Relational representation theorems for extended contact algebras
• Topological Representation of Contact Lattices

Cited in

(4)

• Hypercontact semilattices
• A model theory of topology
• Contact join-semilattices
• Ivanova contact join-semilattices are not finitely axiomatizable

This page was built for publication: Contact join-semilattices

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