Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

DOI10.1016/j.artint.2009.07.001zbMath1190.68061OpenAlexW2092974662MaRDI QIDQ1045997

Torsten Hahmann, Michael Gruninger, Michael Winter

Publication date: 21 December 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.07.001

zbMATH Keywords

mereotopologyqualitative spatial reasoningnon-distributive pseudocomplemented latticeregion-based spaceStonian p-ortholattice

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items (3)

On the algebra of regular sets ⋮ Complementation in representable theories of region-based space ⋮ Distributive mereotopology: extended distributive contact lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized region connection calculus
• Individuals and points
• A calculus of individuals based on 'connection'
• Connection structures
• Region-based topology
• Mereotopological connection
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Lattices and ordered algebraic structures
• A representation theorem for Boolean contact algebras
• Pseudo-complements in semi-lattices
• A Proximity Approach to Some Region-Based Theories of Space
• On the Skeleton of Stonian p-Ortholattices
• The Theory of Representation for Boolean Algebras
• Relational Methods in Computer Science

This page was built for publication: Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)