On 2nd order intuitionistic propositional calculus with full comprehension (Q4777262): Difference between revisions

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of trees to intermediate logics
@@ Property / cites work: Applications of trees to intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for the undecidability of intuitionistic theories with applications
+Normal rank
@@ Property / cites work @@
+The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
+Normal rank
@@ Property / cites work @@
+Decidability of some intuitionistic predicate theories
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538910
@@ Property / cites work: Q5538910 / rank @@
+Normal rank