Cut Elimination In Situ
From MaRDI portal
Publication:5361251
DOI10.1007/978-3-319-10103-3_10zbMath1380.03062OpenAlexW2346547697MaRDI QIDQ5361251
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
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