Corrected upper bounds for free-cut elimination (Q719283): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.05.053
+Normal rank
@@ Property / OpenAlex ID @@
+W2008575211
@@ Property / OpenAlex ID: W2008575211 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and redundancy-elimination by resolution
+Normal rank
@@ Property / cites work @@
+Q3001091
@@ Property / cites work: Q3001091 / rank @@
+Normal rank
@@ Property / cites work @@
+A Conservation Result Concerning Bounded Theories and the Collection Axiom
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The role of quantifier alternations in cut elimination
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bound on the lengthening of proofs by cut elimination
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and automatic proof procedures
@@ Property / cites work: Cut elimination and automatic proof procedures / rank @@
+Normal rank