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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00156916
+Normal rank
@@ Property / OpenAlex ID @@
+W82633235
@@ Property / OpenAlex ID: W82633235 / rank @@
+Normal rank