Ontologies for plane, polygonal mereotopology

DOI10.1305/NDJFL/1039724888MaRDI QIDQ1381436zbMATH OpenOpenAlexWikidataFDO

Authors 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

polygonsBoolean algebraminimal modelelementary geometrygeometric reasoninglogical systems for reasoning about polyhedra

Mathematics Subject Classification ID

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

Recommendations

• A complete axiom system for polygonal mereotopology of the real plane
• Geometric reasoning with logic and algebra
• Elementary polyhedral mereotopology
• Expressivity in polygonal, plane mereotopology

Cites work

• scientific article; zbMATH DE number 3135814 (Why is no real title available?)
• scientific article; zbMATH DE number 43240 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3519854 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• A complete axiom system for polygonal mereotopology of the real plane
• A deductive theory of space and time
• Connection structures
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information
• Individuals and points
• Modal logics of domains on the real plane
• Model theory.
• Region-based topology
• 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
• Topological Logic
• Two-dimensional modal logic

Cited in

(10)

• Elementary polyhedral mereotopology
• A complete axiom system for polygonal mereotopology of the real plane
• FULL MEREOGEOMETRIES
• A proof system for contact relation algebras
• Expressivity in polygonal, plane mereotopology
• A canonical model of the region connection calculus
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• 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: Ontologies for plane, polygonal mereotopology

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