Pages that link to "Item:Q1277333"
From MaRDI portal
The following pages link to A complete axiom system for polygonal mereotopology of the real plane (Q1277333):
Displaying 20 items.
- Subject-oriented spatial logic (Q821569) (← links)
- Individuals and points (Q1078550) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- Mereotopological connection (Q1402583) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Elementary polyhedral mereotopology (Q1863962) (← links)
- Region-based theory of discrete spaces: A proximity approach (Q2385442) (← links)
- Commonsense reasoning about containers using radically incomplete information (Q2407460) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- A categorical axiomatisation of region-based geometry (Q2729677) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- A Topological Constraint Language with Component Counting (Q3647303) (← links)
- A Canonical Model of the Region Connection Calculus (Q3647304) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- Expressivity in polygonal, plane mereotopology (Q4508265) (← links)
- POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES (Q5274877) (← links)
- Rational Region-Based Affine Logic of the Real Plane (Q5277922) (← links)