Quantification and RM (Q1238799): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1238799