Ontologies for plane, polygonal mereotopology

DOI10.1305/ndjfl/1039724888zbMath0897.03014OpenAlexW2114803430WikidataQ114598326 ScholiaQ114598326MaRDI QIDQ1381436

Ian Pratt, Oliver Lemon

Publication date: 19 October 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039724888

zbMATH Keywords

geometric reasoningBoolean algebrapolygonsminimal modelelementary geometrylogical systems for reasoning about polyhedra

Mathematics Subject Classification ID

Model theory (03C99) Foundations of classical theories (including reverse mathematics) (03B30) Real and complex geometry (51M99)

Related Items (10)

Discrete Mereotopology ⋮ FULL MEREOGEOMETRIES ⋮ A complete axiom system for polygonal mereotopology of the real plane ⋮ 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 ⋮ Boolean connection algebras: A new approach to the Region-Connection Calculus ⋮ Expressivity in polygonal, plane mereotopology ⋮ Elementary polyhedral mereotopology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• Modal logics of domains on the real plane
• Individuals and points
• Connection structures
• Model theory.
• A complete axiom system for polygonal mereotopology of the real plane
• Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information
• Region-based topology
• A deductive theory of space and time
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Topological Logic
• Two-dimensional modal logic

This page was built for publication: Ontologies for plane, polygonal mereotopology