Methods of cut-elimination
From MaRDI portal
Publication:609451
DOI10.1007/978-94-007-0320-9zbMath1225.03075OpenAlexW619146373MaRDI QIDQ609451
Matthias Baaz, Alexander Leitsch
Publication date: 30 November 2010
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-0320-9
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)
Related Items
Ceres in intuitionistic logic, Schematic refutations of formula schemata, Craig interpolation with clausal first-order tableaux, First-order interpolation derived from propositional interpolation, Effective Skolemization, Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts, Simulating strong practical proof systems with extended resolution, Extraction of expansion trees, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, Cut-elimination: syntax and semantics, PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS, Schematic Cut Elimination and the Ordered Pigeonhole Principle, Complexity of translations from resolution to sequent calculus, On interpolation in automated theorem proving, THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
