Funder
Helsingin Yliopisto
Kulttuurin ja Yhteiskunnan Tutkimuksen Toimikunta
Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Howard, W.A.: Assignment of ordinals to terms for primitive recursive functionals of finite type. In: Kino, J.M.A., Vesley, R. (eds.) Intuitionism and Proof Theory. North-Holland, Amsterdam (1970)
2. Kanckos A.: Consistency of Heyting arithmetic in natural deduction. Math. Log. Q. 56(6), 611–624 (2010)
3. von Plato J.: Normal form and existence property for derivations in Heyting arithmetic. Acta Philos. Fennica 78, 159–163 (2006)
4. Prawitz D.: Natural deduction: a proof-theoretical study, 2nd edn. Dover Publications, UK (2006)
5. Prawitz, D.: A note on Gentzen’s 2nd consistency proof and normalization of natural deductions in 1st order arithmetic. In: Kahle, R., Rathjen, M. (eds.) Gentzen’s Centenary: The Quest for Consistency. Springer (2015)