UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675): Difference between revisions

@@ Property / cites work @@
+On the non-confluence of cut-elimination
@@ Property / cites work: On the non-confluence of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of proof deskolemization
@@ Property / cites work: On the complexity of proof deskolemization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut normal forms and proof complexity
@@ Property / cites work: Cut normal forms and proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5611757
@@ Property / cites work: Q5611757 / rank @@
+Normal rank
@@ Property / cites work @@
+The epsilon calculus and Herbrand complexity
@@ Property / cites work: The epsilon calculus and Herbrand complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for increasing complexity of derivations after cut elimination
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank