Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. GENTZEN [36], Die Widerspruchsfreiheit der einen Zahlentheorie, Math. Ann., 112 (1936) 493–565.
D. LEIVANT [73], Existential instantiation in a system of natural deduction for intuitiouistic arithmetic, Report ZW 13/73, Mathematisch Centrum, Amsterdam, 1973.
E.G.K. LOPEZ-ESCOBAR [74], Elementary interpretations of negationless arithmetic, Fund. Math. 82 (1974) 25–38.
D. PRAWITZ [65], Natural Deduction, Stockholm, 1965.
D. PRAWITZ [71], Ideas and results of proof-theory, in: FENSTAD (ed.), Proceedings of the 2nd Scandinavian logic symposium, Amsterdam, 1971, pp. 235–307.
A.S. TROELSTRA [73], Metamathematical investigation of intuitiouistic arithmetic and analysis, Berlin etc., 1973.
A.S. TROELSTRA [74], Note on the fan theorem, Report 74-14, University of Amsterdam, Sept. 1974.
J. ZUCKER [74], Cut-elimination and normalization, Annals of Math. Logic 7 (1974) 1–112. *** DIRECT SUPPORT *** A00J4136 00005
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Leivant, D. (1975). Strong normalization for arithmetic. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079552
Download citation
DOI: https://doi.org/10.1007/BFb0079552
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive