A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
From MaRDI portal
Publication:3066096
DOI10.1007/978-3-642-17511-4_9zbMath1253.03086arXiv0903.5392OpenAlexW4297783029MaRDI QIDQ3066096
Tom Gundersen, Alessio Guglielmi, Paola Bruscoli, Michel Parigot
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0903.5392
Related Items
Contextual Natural Deduction ⋮ Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ⋮ On the Power of Substitution in the Calculus of Structures ⋮ Extension without cut ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem