A complete axiom system for polygonal mereotopology of the real plane

DOI10.1023/A:1004361501703MaRDI QIDQ1277333zbMATH OpenWikidataFDO

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3717339 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 45992 (Why is no real title available?)
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Individuals and points
• Ontologies for plane, polygonal mereotopology

Cited in

(23)

• 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
• Ontologies for plane, polygonal mereotopology
• Individuals and points
• Point-free geometry, ovals, and half-planes
• 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
• Rational region-based affine logic of the real plane
• A representation theorem for Boolean contact algebras
• On some meta-theoretic topological features of the region connection calculus
• A necessary relation algebra for mereotopology
• Commonsense reasoning about containers using radically incomplete information
• Mereotopological connection
• An axiom system for a spatial logic with convexity
• A topological constraint language with component counting
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• Discrete mereotopology

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)