A complete axiom system for polygonal mereotopology of the real plane

DOI10.1023/A:1004361501703zbMath0921.03009WikidataQ114011938 ScholiaQ114011938MaRDI QIDQ1277333

Ian Pratt, Dominik Schoop

Publication date: 22 April 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

mereologyspatial reasoningaxiomatics2-dimensional spatial regionsBoolean algebra of polygonsclosed planemereotopological calculusmereotopological reasoningpolygonal subsets of the real plane

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Real and complex geometry (51M99) Models of other mathematical theories (03C65) Generalities in topology (54A99)

Related Items (17)

Subject-oriented spatial logic ⋮ Region-based theory of discrete spaces: A proximity approach ⋮ Commonsense reasoning about containers using radically incomplete information ⋮ Ontologies for plane, polygonal mereotopology ⋮ Mereotopological connection ⋮ Discrete Mereotopology ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ FULL MEREOGEOMETRIES ⋮ Dynamic logics of the region-based theory of discrete spaces ⋮ A Topological Constraint Language with Component Counting ⋮ A Canonical Model of the Region Connection Calculus ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ A proof system for contact relation algebras ⋮ A representation theorem for Boolean contact algebras ⋮ Expressivity in polygonal, plane mereotopology ⋮ Elementary polyhedral mereotopology ⋮ POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

Cites Work

• Individuals and points
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Ontologies for plane, polygonal mereotopology
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A complete axiom system for polygonal mereotopology of the real plane