Mereotopological connection

DOI10.1023/A:1024895012224MaRDI QIDQ1402583zbMATH OpenFDO

Authors Anthony G. Cohn, Achille C. Varzi

Publication date 28 August 2003

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

zbMATH Keywords

spatial reasoningboundariesmereotopologypart-whole relationscontact relationsontology of space

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Applications of model theory (03C98)

Recommendations

• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Mereotopology: A theory of parts and boundaries
• `Being a manifold' as the topological primitive of mereotopology
• Discrete mereotopology
• Inconsistent boundaries

Cites work

• scientific article; zbMATH DE number 4166929 (Why is no real title available?)
• scientific article; zbMATH DE number 2044736 (Why is no real title available?)
• scientific article; zbMATH DE number 749969 (Why is no real title available?)
• scientific article; zbMATH DE number 1444734 (Why is no real title available?)
• scientific article; zbMATH DE number 3217862 (Why is no real title available?)
• A complete axiom system for polygonal mereotopology of the real plane
• A proof system for contact relation algebras
• Axiomatizability of geometry without points
• Boundaries, Continuity, and Contact
• Connection structures
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Individuals and points
• Mereotopology: A theory of parts and boundaries
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Qualitative spatial representation and reasoning: An overview
• Reasoning about space: The hole story
• Refining temporal reference in event structures
• The calculus of individuals and its uses
• The niche

Cited in

(16)

• FULL MEREOGEOMETRIES
• On the algebra of regular sets
• Merotopological spaces
• Mereotopology: A theory of parts and boundaries
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• A calculus of regions respecting both measure and topology
• The mereotopology of time
• scientific article; zbMATH DE number 1759370 (Why is no real title available?)
• `Being a manifold' as the topological primitive of mereotopology
• Extension and self-connection
• A comment on RCC: from RCC to RCC\(^{++}\)
• Heyting mereology as a framework for spatial reasoning
• Inconsistent boundaries
• Leibniz on the continuity of space
• The logic of discrete qualitative relations
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

This page was built for publication: Mereotopological connection

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