Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.12.495-525
+Normal rank
@@ Property / OpenAlex ID @@
+W2071730540
@@ Property / OpenAlex ID: W2071730540 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for incidence geometries
@@ Property / cites work: Modal logics for incidence geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Determining consistency of topological relations
@@ Property / cites work: Determining consistency of topological relations / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of individuals based on 'connection'
@@ Property / cites work: A calculus of individuals based on 'connection' / rank @@
+Normal rank
@@ Property / cites work @@
+On 2nd order intuitionistic propositional calculus with full comprehension
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Embedding first order predicate logic in fragments of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous lattices and Whiteheadian theory of space
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Ontologies for plane, polygonal mereotopology
@@ Property / cites work: Ontologies for plane, polygonal mereotopology / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiom system for polygonal mereotopology of the real plane
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-axiomatizable second order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Boolean connection algebras: A new approach to the Region-Connection Calculus
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank