A characterization of the $NB$-system (Q5586219): Difference between revisions

@@ 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 @@
+Algebraic formulations of propositional calculi
@@ Property / cites work: Algebraic formulations of propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XXIII
@@ Property / cites work: On axiom systems of propositional calculi, XXIII / rank @@
+Normal rank
@@ Property / cites work @@
+Q5816696
@@ Property / cites work: Q5816696 / rank @@
+Normal rank