A complete axiom system for polygonal mereotopology of the real plane

DOI10.1023/A:1004361501703zbMATH Open0921.03009WikidataQ114011938 ScholiaQ114011938MaRDI QIDQ1277333FDOQ1277333

Authors: Ian Pratt, Dominik J. Schoop 

Publication date: 22 April 1999

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

Recommendations

• Ontologies for plane, polygonal mereotopology
• A necessary relation algebra for mereotopology
• Expressivity in polygonal, plane mereotopology
• Elementary polyhedral mereotopology

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) Models of other mathematical theories (03C65) Real and complex geometry (51M99) Generalities in topology (54A99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Individuals and points
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Title not available (Why is that?)
• Ontologies for plane, polygonal mereotopology

Cited In (21)

• Subject-oriented spatial logic
• Elementary polyhedral mereotopology
• Dynamic logics of the region-based theory of discrete spaces
• A categorical axiomatisation of region-based geometry
• FULL MEREOGEOMETRIES
• Discrete Mereotopology
• Ontologies for plane, polygonal mereotopology
• Individuals and points
• A proof system for contact relation algebras
• Expressivity in polygonal, plane mereotopology
• A canonical model of the region connection calculus
• Relation algebras and their application in temporal and spatial reasoning
• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• A necessary relation algebra for mereotopology
• Commonsense reasoning about containers using radically incomplete information
• Mereotopological connection
• A topological constraint language with component counting
• An axiom system for a spatial logic with convexity
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

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

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