Strong normalization for arithmetic
Variations on a theme of prawitz
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)
- 197 Downloads
KeywordsInduction Hypothesis Natural Deduction Elimination Rule Replacement Rule Strong Normalization
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- D. PRAWITZ , Natural Deduction, Stockholm, 1965.Google Scholar
- D. PRAWITZ , Ideas and results of proof-theory, in: FENSTAD (ed.), Proceedings of the 2nd Scandinavian logic symposium, Amsterdam, 1971, pp. 235–307.Google Scholar
- A.S. TROELSTRA , Metamathematical investigation of intuitiouistic arithmetic and analysis, Berlin etc., 1973.Google Scholar
- A.S. TROELSTRA , Note on the fan theorem, Report 74-14, University of Amsterdam, Sept. 1974.Google Scholar
© Springer-Verlag 1975