FULL MEREOGEOMETRIES

DOI10.1017/S1755020310000110MaRDI QIDQ3066777zbMATH OpenOpenAlexFDO

Authors Stefano Borgo, Claudio Masolo

Publication date 12 January 2011

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020310000110

zbMATH Keywords

mereologygeometry of solids

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Full Development of Tarski's Geometry of Solids
• Space, points and mereology. On foundations of point-free Euclidean geometry
• On Tarski's foundations of the geometry of solids
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Mereotopology: A theory of parts and boundaries
• Discrete mereotopology
• Leśniewski and Mereology
• scientific article; zbMATH DE number 1832239
• A categorical axiomatisation of region-based geometry

Cites work

• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• A relation-algebraic approach to the region connection calculus
• Axiomatic characterization of physical geometry
• Axiomatizability of geometry without points
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Connection structures
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Constraint networks of topological relations and convexity
• Elementary polyhedral mereotopology
• Expressivity in polygonal, plane mereotopology
• Individuals and points
• Mereotopological connection
• Ontologies for plane, polygonal mereotopology
• Region connection calculus: Its models and composition table
• Region-based topology
• The Expressivity of Quantifying over Regions
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The niche

Cited in

(4)

• A monadic second-order version of Tarski's geometry of solids
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• Formal qualitative spatial augmentation of the simple feature access model
• ``The whole is greater than the part. Mereology in Euclid's \textit{Elements}

This page was built for publication: FULL MEREOGEOMETRIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066777)