A Lemma which Distinguishes Minimal Logics from Other Logics (Q5546771): Difference between revisions

@@ Property / cites work @@
+On logics intermediate between intuitionistic and classical predicate logic
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+On a Characteristic Feature of the Positive Logics
+Normal rank
@@ Property / cites work @@
+On Universal Character of the Primitive Logic
@@ Property / cites work: On Universal Character of the Primitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank