Ontologies for plane, polygonal mereotopology
From MaRDI portal
Recommendations
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)