Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875): Difference between revisions

@@ Property / author @@
-Ewa Graczyńska
@@ Property / author: Ewa Graczyńska / rank @@
-Normal rank
@@ Property / author @@
-Andrzej Wroński
@@ Property / author: Andrzej Wroński / rank @@
-Normal rank
@@ Property / author @@
+Ewa Graczyńska
@@ Property / author: Ewa Graczyńska / rank @@
+Normal rank
@@ Property / author @@
+Andrzej Wroński
@@ Property / author: Andrzej Wroński / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+A series of successive modifications of Peirce's rule
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank