A calculus of individuals based on 'connection'
From MaRDI portal
Publication:1141642
DOI10.1305/ndjfl/1093883455zbMath0438.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
Related Items
Particle-free bodies and point-free spaces, A Logic for Spatial Reasoning in the Framework of Rough Mereology, Connection structures: Grzegorczyk's and Whitehead's definitions of point, Defining Measures in a Mereological Space (an exploratory paper), Mereology on topological and convergence spaces, Is weak supplementation analytic?, Reasoning about visibility, Complementation in representable theories of region-based space, A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems, Two-dimensional fuzzy spatial relations: a new way of computing and representation, Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces, Continuity of Motion in Whitehead’s Geometrical Space, Mereology in Engineering and Computer Science, Mereocompactness and Duality for Mereotopological Spaces, Relational representation theorems for extended contact algebras, Exploiting lattices in a theory of space and time, A relation-algebraic approach to the region connection calculus, Compositionality: Ontology and Mereology of Domains, A calculus of regions respecting both measure and topology, FULL MEREOGEOMETRIES, Rough mereology: A new paradigm for approximate reasoning, Binary topological relations on the digital sphere, Tesseral spatio-temporal reasoning for multi-dimensional data, Relational proof systems for spatial reasoning ★, Dynamic logics of the region-based theory of discrete spaces, A ModalWalk Through Space, A Topological Constraint Language with Component Counting, A Canonical Model of the Region Connection Calculus, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic, A Proximity Approach to Some Region-Based Theories of Space, Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions, The mereotopology of time, Design and comparison of lattices of topological relations for spatial representation and reasoning, Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\), Boolean connection algebras: A new approach to the Region-Connection Calculus, Extension and Self-Connection, A representation theorem for Boolean contact algebras, Expressivity in polygonal, plane mereotopology, Combining topological and size information for spatial reasoning, On the decidability of axiomatized mereotopological theories, Generalized region connection calculus
