Cut Elimination In Situ

DOI10.1007/978-3-319-10103-3_10zbMath1380.03062OpenAlexW2346547697MaRDI QIDQ5361251

Samuel R. Buss

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3_10

zbMATH Keywords

first-order logiccut eliminationpropositional logicpolynomial time methods

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Related Items

The small‐is‐very‐small principle ⋮ Transductions in arithmetic ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ Herbrand's theorem as higher order recursion ⋮ The Interpretation Existence Lemma ⋮ The arithmetics of a theory

This page was built for publication: Cut Elimination In Situ