Quantification and RM (Q1238799): Difference between revisions

@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+On 2nd order intuitionistic propositional calculus with full comprehension
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank