Ontologies for plane, polygonal mereotopology
From MaRDI portal
Publication:1381436
DOI10.1305/ndjfl/1039724888zbMath0897.03014OpenAlexW2114803430WikidataQ114598326 ScholiaQ114598326MaRDI QIDQ1381436
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
geometric reasoningBoolean algebrapolygonsminimal modelelementary geometrylogical systems for reasoning about polyhedra
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
