On the Herbrand content of LK (Q5015361): Difference between revisions

@@ label / en / label / en @@
+On the Herbrand content of LK
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.FL
@@ Property / arXiv classification: cs.FL / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06384
@@ Property / arXiv ID: 1606.06384 / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars
+Normal rank
@@ Property / cites work @@
+Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-Cuts
+Normal rank
@@ Property / cites work @@
+On Herbrand's theorem
@@ Property / cites work: On Herbrand's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On the compressibility of finite languages and formal proofs
+Normal rank
@@ Property / cites work @@
+Compressibility of Finite Languages by Grammars
@@ Property / cites work: Compressibility of Finite Languages by Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive theorem proving based on tree grammars
@@ Property / cites work: Inductive theorem proving based on tree grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Herbrand disjunctions by functional interpretation
+Normal rank
@@ Property / cites work @@
+Classical proof forestry
@@ Property / cites work: Classical proof forestry / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Tree Languages in Proof Theory
@@ Property / cites work: Applying Tree Languages in Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Quantified Cuts in Logic with Equality
+Normal rank
@@ Property / cites work @@
+Algorithmic introduction of quantified cuts
@@ Property / cites work: Algorithmic introduction of quantified cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Algorithmic Cut-Introduction
@@ Property / cites work: Towards Algorithmic Cut-Introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion trees with cut
@@ Property / cites work: Expansion trees with cut / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772177
@@ Property / cites work: Q5772177 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Herbrand’s Theorem
@@ Property / cites work: Proof Nets for Herbrand’s Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A compact representation of proofs
@@ Property / cites work: A compact representation of proofs / rank @@
+Normal rank