Classical proof forestry
From MaRDI portal
Publication:636369
DOI10.1016/j.apal.2010.04.006zbMath1223.03039OpenAlexW2032033497MaRDI QIDQ636369
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://opus.bath.ac.uk/32340/1/Classical_Proof_Forestry.pdf
Related Items (6)
On the Herbrand content of LK ⋮ Herbrand's theorem as higher order recursion ⋮ Unnamed Item ⋮ Unnamed Item ⋮ GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION ⋮ Expansion trees with cut
Cites Work
- Categorical proof theory of classical propositional calculus
- A compact representation of proofs
- Locality for classical logic
- Proofs without syntax
- Order-enriched categorical models of the classical sequent calculus
- Proof Nets for Herbrand’s Theorem
- Normalisation Control in Deep Inference via Atomic Flows
- A new constructive logic: classic logic
- Proof Nets for Classical Logic
- Sequentiality vs. concurrency in games and logic
- Identity of Proofs Based on Normalization and Generality
- A semantics of evidence for classical arithmetic
- Proof Transformations and Structural Invariance
- Proof Identity for Classical Logic: Generalizing to Normality
- Typed Lambda Calculi and Applications
This page was built for publication: Classical proof forestry