A note on some intermediate propositional calculi (Q3218107): Difference between revisions

@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
+Normal rank
@@ Property / cites work @@
+Algebraic proof of the separation theorem on classical propositional calculus
+Normal rank
@@ Property / cites work @@
+On the separation theorem of intermediate propositional calculi
+Normal rank