Heyting mereology as a framework for spatial reasoning
From MaRDI portal
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)
