Discrete mereotopology

DOI10.1007/978-3-319-05356-1_11MaRDI QIDQ3295808zbMATH OpenOpenAlexFDO

Authors Antony Galton

Publication date 13 July 2020

Published in Mereology and the Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-05356-1_11

zbMATH Keywords

atomic regionclosure operationHausdorff distancelogical languagemathematical morphology

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other nonclassical logic (03B60) Generalities in topology (54A99)

Recommendations

• Parts, wholes, and part-whole relations: The prospects of mereotopology
• scientific article; zbMATH DE number 269623
• A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
• Mereotopology: A theory of parts and boundaries
• Mereotopology without mereology

Cites work

• A complete axiom system for polygonal mereotopology of the real plane
• A Topological Approach to Digital Topology
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Computer graphics and connected topologies on finite ordered sets
• Digital Topology
• Elementary polyhedral mereotopology
• Generalized region connection calculus
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 17704 (Why is no real title available?)
• scientific article; zbMATH DE number 1949046 (Why is no real title available?)
• scientific article; zbMATH DE number 3228406 (Why is no real title available?)
• Ontologies for plane, polygonal mereotopology
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Temporal reasoning based on semi-intervals

Cited in

(14)

• Mereotopological connection
• Mereology on topological and convergence spaces
• Expressing discrete spatial relations under granularity
• The mereotopology of time
• FULL MEREOGEOMETRIES
• A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• The logic of discrete qualitative relations
• Extension and self-connection
• A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
• Geometric Model Checking of Continuous Space
• A Spatial Logic for Simplicial Models
• On bisimilarity for polyhedral models and \texttt{SLCS}
• Mereotopology without mereology

This page was built for publication: Discrete mereotopology

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