Heyting mereology as a framework for spatial reasoning

DOI10.1007/S10516-011-9180-XMaRDI QIDQ482328zbMATH OpenOpenAlexFDO

Authors 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

topologyboundaryrepresentationsHeyting algebrasmereologyco-Heyting algebrascontact relationinterior parts

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2050947
• A Logic for Spatial Reasoning in the Framework of Rough Mereology
• On the problem of boundaries from mereology and rough mereology points of view
• Mereotopology: A theory of parts and boundaries
• Parts, wholes, and part-whole relations: The prospects of mereotopology

Cites work

• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3541605 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• A necessary relation algebra for mereotopology
• Bi-Heyting algebras, toposes and modalities
• Continuous Lattices and Domains
• Mereotopological connection
• Mereotopology: A theory of parts and boundaries
• On the calculus of relations
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
• Sheaves in geometry and logic: a first introduction to topos theory
• The Theory of Representation for Boolean Algebras
• The algebra of topology
• What is classical mereology?

Cited in

(6)

• On the problem of boundaries from mereology and rough mereology points of view
• Intuitionistic mereology
• scientific article; zbMATH DE number 1440078 (Why is no real title available?)
• Topological models of columnar vagueness
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• Hume on space, geometry, and diagrammatic reasoning

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

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