Individuals and points
From MaRDI portal
Publication:1078550
DOI10.1305/ndjfl/1093870761zbMath0597.03005OpenAlexW2020759939WikidataQ56506036 ScholiaQ56506036MaRDI QIDQ1078550
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870761
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Boolean algebras (Boolean rings) (06E99) Set theory (03E99)
Related Items
Subject-oriented spatial logic ⋮ Connection structures: Grzegorczyk's and Whitehead's definitions of point ⋮ Defining Measures in a Mereological Space (an exploratory paper) ⋮ Ontologies for plane, polygonal mereotopology ⋮ Mereotopological connection ⋮ Reasoning about visibility ⋮ A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems ⋮ Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces ⋮ A comment on RCC: from RCC to RCC\(^{++}\) ⋮ Relational representation theorems for extended contact algebras ⋮ Inconsistent boundaries ⋮ Exploiting lattices in a theory of space and time ⋮ Mereotopology without mereology ⋮ A relation-algebraic approach to the region connection calculus ⋮ FULL MEREOGEOMETRIES ⋮ Rough mereology: A new paradigm for approximate reasoning ⋮ Tesseral spatio-temporal reasoning for multi-dimensional data ⋮ A complete axiom system for polygonal mereotopology of the real plane ⋮ A Topological Constraint Language with Component Counting ⋮ A Canonical Model of the Region Connection Calculus ⋮ 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 ⋮ Expressivity in polygonal, plane mereotopology ⋮ Elementary polyhedral mereotopology ⋮ Generalized region connection calculus
