Heyting mereology as a framework for spatial reasoning (Q482328): Difference between revisions

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