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
D. Gabbay, The Dedidability of the Kreisel-Putnam System, JSL, 35 (1970), 431–437.
D. Gabbay, Applications of Trees to Intermediate Logics I, JSL, 36 (1971).
J-Y. Girard, Une Extension De L'Interpretation De Gödel A L'Analyse, Et Son Application A L'Elimination Des Coupures Dans L'Analyse Et La Theorie Des Types, in: J. E. Fenstad (editor), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971, 63–92.
D. deJongh, The Maximality of the Intuitionistic Predicate Calculus with Respect to Heyting's Arithmetic, presented at the Second Scandinavian Logic Symposium at Oslo, June 1970.
S. C. Kleene, On the Interpretation of Intuitionistic Number Theory, JSL, 10 (1945), 109–124.
S. C. Kleene, Introduction to Metamathematics, Von Nostrand, 1950.
S. C. Kleene, Disjunction and Existence under Implication in Elementary Intuitionistic Formalisms, JSL, 27 (1962), 11–18.
G. Kreisel and A. S. Troelstra, Formal Systems for Some Branches of Intuitionistic Analysis, Annals of Mathematical Logic, 1 (1970), 229–387.
P. Martin-Löf, Hauptsatz for the Theory of Species, in: J. E. Fenstad (editor), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971, 217–233.
C. McKay, Decidability of Certain Intermediate Logics, JSL, 33 (1968), 258–265.
J. Myhill, Some Properties of Intuitionistic Zermelo-Frankel Set Theory, this volume.
D. Prawitz, Natural Deduction, A Proof-Theoretical Study, Stockholm, Göteborg, Uppsala (Almqvist and Wiksell), 1965.
C. Smorynski, Doctoral Dissertation, University of Illinois at Chicago Circle.
A. S. Troelstra, Notes on Intuitionistic Second Order Arithmetic, this volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Friedman, H. (1973). Some applications of Kleene's methods for intuitionistic systems. In: Mathias, A.R.D., Rogers, H. (eds) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066773
Download citation
DOI: https://doi.org/10.1007/BFb0066773
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05569-3
Online ISBN: 978-3-540-36884-7
eBook Packages: Springer Book Archive