@inbook{c17ab96a66a64fa582e9158b44197387,
title = "Lorenzen Between Gentzen and Sch{\"u}tte",
abstract = "We discuss Lorenzen{\textquoteright}s consistency proof for ramified type theory without reducibility, published in 1951, in its historical context and highlight Lorenzen{\textquoteright}s contribution to the development of modern proof theory, notably by the introduction of the ω -rule.",
author = "Reinhard Kahle and Isabel Oitavem",
note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).",
year = "2021",
doi = "10.1007/978-3-030-65824-3_5",
language = "English",
isbn = "978-3-030-65823-6",
series = "Logic, Epistemology, and the Unity of Science",
publisher = "Springer",
pages = "63--76",
editor = "{Heinzmann }, G. and {Wolters }, G.",
booktitle = "Paul Lorenzen - Mathematician and Logician. Logic, Epistemology, and the Unity of Science",
address = "Netherlands",
}