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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3792/pja/1195521839
+Normal rank
@@ Property / OpenAlex ID @@
+W2094387659
@@ Property / OpenAlex ID: W2094387659 / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:5586219