Heyting mereology as a framework for spatial reasoning
From MaRDI portal
Publication:482328
DOI10.1007/s10516-011-9180-xzbMath1302.03036OpenAlexW2067772625MaRDI QIDQ482328
Publication date: 23 December 2014
Published in: Axiomathes (Search for Journal in Brave)
Full work available at URL: https://philpapers.org/rec/MORCMA-3
Heyting algebrasrepresentationstopologymereologyboundaryco-Heyting algebrascontact relationinterior parts
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
