Individuals and points
This paper presents an axiomatic system of mereology, where the basic individuals are space-time regions and 'x is connected with y' is taken as a primitive relation. The calculus is enriched with pseudo-Boolean and pseudo-topological operators (the system does not have a null element). Points are then defined by sets of spatio-temporal regions satisfying certain algebraic conditions. Temporal order between points is also treated in an axiomatic way. The intuitive motivation for the definitions and theorems is clearly spelled out. Clarifying comparisons to the earlier work by Whitehead, Russell, de Laguna, Nicod, Menger, Tarski, and the author himself is given.
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- A complete axiom system for polygonal mereotopology of the real plane
- Space, points and mereology. On foundations of point-free Euclidean geometry
- scientific article; zbMATH DE number 269623
- Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
- Connection structures
- Exploiting lattices in a theory of space and time
- A complete axiom system for polygonal mereotopology of the real plane
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Ontologies for plane, polygonal mereotopology
- Mereotopological connection
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Rough mereology: A new paradigm for approximate reasoning
- Tesseral spatio-temporal reasoning for multi-dimensional data
- Elementary polyhedral mereotopology
- Relational representation theorems for extended contact algebras
- The mereotopology of time
- FULL MEREOGEOMETRIES
- A formal theory of objects, space and time
- 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
- Reasoning about visibility
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Design and comparison of lattices of topological relations for spatial representation and reasoning
- Expressivity in polygonal, plane mereotopology
- Frege meets Aristotle: points as abstracts
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
- Whitehead and Russell on points
- Defining Measures in a Mereological Space (an exploratory paper)
- Inconsistent boundaries
- Carving up space: steps towards construction of an absolutely complete theory of spatial regions
- A relation-algebraic approach to the region connection calculus
- On some meta-theoretic topological features of the region connection calculus
- Generalized region connection calculus
- Subject-oriented spatial logic
- A comment on RCC: from RCC to RCC\(^{++}\)
- Mereotopology without mereology
This page was built for publication: Individuals and points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1078550)
