FULL MEREOGEOMETRIES

DOI10.1017/S1755020310000110zbMath1208.51012OpenAlexW4235559015MaRDI QIDQ3066777

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)

Related Items (1)

Formal Qualitative Spatial Augmentation of the Simple Feature Access Model

Cites Work

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

This page was built for publication: FULL MEREOGEOMETRIES