Discrete Mereotopology

DOI10.1007/978-3-319-05356-1_11zbMath1436.03166OpenAlexW4247183245MaRDI QIDQ3295808

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

closure operationmathematical morphologyHausdorff distancelogical languageatomic region

Mathematics Subject Classification ID

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

Related Items (6)

Geometric Model Checking of Continuous Space ⋮ A Spatial Logic for Simplicial Models ⋮ Unnamed Item ⋮ Expressing discrete spatial relations under granularity ⋮ Unnamed Item ⋮ The mereotopology of time

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized region connection calculus
• Computer graphics and connected topologies on finite ordered sets
• A complete axiom system for polygonal mereotopology of the real plane
• Ontologies for plane, polygonal mereotopology
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Elementary polyhedral mereotopology
• Temporal reasoning based on semi-intervals
• Handbook of Spatial Logics
• Digital Topology
• A Topological Approach to Digital Topology
• Parts, wholes, and part-whole relations: The prospects of mereotopology

This page was built for publication: Discrete Mereotopology