Certain Method for Generating a Series of Logics (Q5551418): Difference between revisions

@@ Property / cites work @@
+On intermediate propositional logics
@@ Property / cites work: On intermediate propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Zwischensysteme der Aussagenlogik
@@ Property / cites work: Über die Zwischensysteme der Aussagenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+A Certain Kind of Formal Theories
@@ Property / cites work: A Certain Kind of Formal Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A series of successive modifications of Peirce's rule
+Normal rank
@@ Property / cites work @@
+A Remark on the Intersection of Tow Logics
@@ Property / cites work: A Remark on the Intersection of Tow Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank