A calculus of individuals based on 'connection'
From MaRDI portal
Publication:1141642
DOI10.1305/NDJFL/1093883455zbMATH Open0438.03032OpenAlexW2053967911MaRDI QIDQ1141642
Publication date: 1981
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883455
Cited In (42)
- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions
- A ModalWalk Through Space
- Dynamic logics of the region-based theory of discrete spaces
- FULL MEREOGEOMETRIES
- Complementation in representable theories of region-based space
- Reasoning about visibility
- Relational proof systems for spatial reasoning ★
- Particle-free bodies and point-free spaces
- Continuity of Motion in Whitehead’s Geometrical Space
- Mereology in Engineering and Computer Science
- A Topological Constraint Language with Component Counting
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
- On the decidability of axiomatized mereotopological theories
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Two-dimensional fuzzy spatial relations: a new way of computing and representation
- Mereology on topological and convergence spaces
- A relation-algebraic approach to the region connection calculus
- Extension and Self-Connection
- Compositionality: Ontology and Mereology of Domains
- Mereocompactness and Duality for Mereotopological Spaces
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
- Expressivity in polygonal, plane mereotopology
- A Proximity Approach to Some Region-Based Theories of Space
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Rough mereology: A new paradigm for approximate reasoning
- A representation theorem for Boolean contact algebras
- A calculus of regions respecting both measure and topology
- Is weak supplementation analytic?
- The mereotopology of time
- Design and comparison of lattices of topological relations for spatial representation and reasoning
- On some meta-theoretic topological features of the region connection calculus
- A Logic for Spatial Reasoning in the Framework of Rough Mereology
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Tesseral spatio-temporal reasoning for multi-dimensional data
- Binary topological relations on the digital sphere
- Defining Measures in a Mereological Space (an exploratory paper)
- Exploiting lattices in a theory of space and time
- Relational representation theorems for extended contact algebras
- A Canonical Model of the Region Connection Calculus
- Generalized region connection calculus
- Combining topological and size information for spatial reasoning
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
This page was built for publication: A calculus of individuals based on 'connection'
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1141642)
