On variants of axiom systems of propositional calculus, I (Q5586217): Difference between revisions

@@ Property / cites work @@
+On axiom systems of propositional calculi, III
@@ Property / cites work: On axiom systems of propositional calculi, III / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of $\mathrm{BCI, BCK}$-algebras
@@ Property / cites work: Characterizations of $\mathrm{BCI, BCK}$-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XIV
@@ Property / cites work: On axiom systems of propositional calculi, XIV / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, I
@@ Property / cites work: On axiom systems of propositional calculi, I / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra related with a propositional calculus
@@ Property / cites work: An algebra related with a propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, V
@@ Property / cites work: On axiom systems of propositional calculi, V / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, VI
@@ Property / cites work: On axiom systems of propositional calculi, VI / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XI
@@ Property / cites work: On axiom systems of propositional calculi, XI / rank @@
+Normal rank