Mereotopological connection
From MaRDI portal
Publication:1402583
DOI10.1023/A:1024895012224zbMath1030.03012MaRDI QIDQ1402583
Achille C. Varzi, Anthony G. Cohn
Publication date: 28 August 2003
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Applications of model theory (03C98)
Related Items (8)
On the algebra of regular sets ⋮ Leibniz on the Continuity of Space ⋮ Heyting mereology as a framework for spatial reasoning ⋮ A comment on RCC: from RCC to RCC\(^{++}\) ⋮ A calculus of regions respecting both measure and topology ⋮ FULL MEREOGEOMETRIES ⋮ Unnamed Item ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
Cites Work
- Individuals and points
- Connection structures
- A complete axiom system for polygonal mereotopology of the real plane
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- A proof system for contact relation algebras
- Refining temporal reference in event structures
- Axiomatizability of geometry without points
- Reasoning about space: The hole story
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Mereotopology: A theory of parts and boundaries
- Boundaries, Continuity, and Contact
- The Niche
- The calculus of individuals and its uses
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Mereotopological connection