Cut-admissibility as a corollary of the subformula property

DOI10.1007/978-3-319-66902-1_4zbMath1496.03230OpenAlexW2751613535MaRDI QIDQ1694449

Ori Lahav, Yoni Zohar

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_4

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Cut-admissibility as a corollary of the subformula property