Heyting mereology as a framework for spatial reasoning
DOI10.1007/S10516-011-9180-XzbMATH Open1302.03036OpenAlexW2067772625MaRDI QIDQ482328FDOQ482328
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
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
topologyboundaryrepresentationsHeyting algebrasmereologyco-Heyting algebrascontact relationinterior parts
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)
Cites Work
- Sheaves in geometry and logic: a first introduction to topos theory
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- The Theory of Representation for Boolean Algebras
- On the calculus of relations
- Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
- What is classical mereology?
- Bi-Heyting algebras, toposes and modalities
- The algebra of topology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mereotopological connection
- Title not available (Why is that?)
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Mereotopology: A theory of parts and boundaries
- A necessary relation algebra for mereotopology
Cited In (6)
- On the problem of boundaries from mereology and rough mereology points of view
- Intuitionistic mereology
- Title not available (Why is that?)
- 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)
