Lorenzen Between Gentzen and Schütte
Reinhard Kähle, Isabel Oitavem · Logic, epistemology, and the unity of science · 2021
Abstract We discuss Lorenzen’s consistency proof for ramified type theory without reducibility, published in 1951, in its historical context and highlight Lorenzen’s contribution to the development of modern proof theory, notably by the introduction of the $$\omega $$ ω -rule.