A complete axiom system for polygonal mereotopology of the real plane
From MaRDI portal
Publication:1277333
Recommendations
Cites work
- scientific article; zbMATH DE number 3717339 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 45992 (Why is no real title available?)
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Individuals and points
- Ontologies for plane, polygonal mereotopology
Cited in
(23)- Subject-oriented spatial logic
- Elementary polyhedral mereotopology
- Dynamic logics of the region-based theory of discrete spaces
- A categorical axiomatisation of region-based geometry
- FULL MEREOGEOMETRIES
- Ontologies for plane, polygonal mereotopology
- Individuals and points
- Point-free geometry, ovals, and half-planes
- A proof system for contact relation algebras
- Expressivity in polygonal, plane mereotopology
- A canonical model of the region connection calculus
- Relation algebras and their application in temporal and spatial reasoning
- Region-based theory of discrete spaces: A proximity approach
- Rational region-based affine logic of the real plane
- A representation theorem for Boolean contact algebras
- On some meta-theoretic topological features of the region connection calculus
- A necessary relation algebra for mereotopology
- Commonsense reasoning about containers using radically incomplete information
- Mereotopological connection
- An axiom system for a spatial logic with convexity
- 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: A complete axiom system for polygonal mereotopology of the real plane
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1277333)