Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288): Difference between revisions

@@ Property / cites work @@
+Q3252705
@@ Property / cites work: Q3252705 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+The Unit Proof and the Input Proof in Theorem Proving
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Towards feasible solutions of the tautology problem
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794543
@@ Property / cites work: Q3794543 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic cut
@@ Property / cites work: Analytic cut / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010371
@@ Property / cites work: Q4010371 / rank @@
+Normal rank