Heyting mereology as a framework for spatial reasoning

DOI10.1007/s10516-011-9180-xzbMath1302.03036OpenAlexW2067772625MaRDI QIDQ482328

Thomas Mormann

Publication date: 23 December 2014

Published in: Axiomathes (Search for Journal in Brave)

Full work available at URL: https://philpapers.org/rec/MORCMA-3

zbMATH Keywords

Heyting algebrasrepresentationstopologymereologyboundaryco-Heyting algebrascontact relationinterior parts

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Heyting algebras (lattice-theoretic aspects) (06D20) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Intuitionistic mereology ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is classical mereology?
• Sheaves in geometry and logic: a first introduction to topos theory
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
• Mereotopological connection
• Bi-Heyting algebras, toposes and modalities
• The algebra of topology
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Mereotopology: A theory of parts and boundaries
• Continuous Lattices and Domains
• The Theory of Representation for Boolean Algebras
• On the calculus of relations
• A necessary relation algebra for mereotopology

This page was built for publication: Heyting mereology as a framework for spatial reasoning