Relative efficiency of propositional proof systems: Resolution vs. cut-free LK (Q1577476): Difference between revisions

@@ Property / author @@
-Noriko H. Arai
@@ Property / author: Noriko H. Arai / rank @@
-Normal rank
@@ Property / author @@
+Noriko H. Arai
@@ Property / author: Noriko H. Arai / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A proper hierarchy of propositional sequent calculi
+Normal rank
@@ Property / cites work @@
+Tractability of cut-free Gentzen type propositional calculus with permutation inference
+Normal rank
@@ Property / cites work @@
+Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II
+Normal rank
@@ Property / cites work @@
+No feasible monotone interpolation for simple combinatorial reasoning
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Resolution Versus Unrestricted Resolution
@@ Property / cites work: Regular Resolution Versus Unrestricted Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q5685059
@@ Property / cites work: Q5685059 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative complexity of resolution and cut-free Gentzen systems
+Normal rank
@@ Property / cites work @@
+The symmetry rule in propositional logic
@@ Property / cites work: The symmetry rule in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cut formulas in propositional logic
@@ Property / cites work: Cut formulas in propositional logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1577476