Intuitionistic completeness of a restricted second-order logic

  • E. G. K. Lopez-Escobar
  • W. Veldman
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BETH, E.W. 1949 Semantical considerations on intuitionistic mathematics, Indag. Math., vol. 9.Google Scholar
  2. BETH, E.W. 1955 Semantic entailment and formal derivability, Mededelingen der Kon. Ned. Akad. v. Wet., new series, vol. 18, no. 13.Google Scholar
  3. BETH, E.W. 1956 Semantic construction of Intuitionistic Logic, ibid. Mededelingen der Kon. Ned. Akad. v. Wet., vol. 19, no. 11.Google Scholar
  4. DYSON, V.H.-AND KREISEL, G. 1961 Analysis of Beth's semantic construction of Intuitionistic Logic, Technical Report No. 3, Applied Mathematics and Statistics Laboratories, Stanford.Google Scholar
  5. GIRARD, J-Y. 1971 Une extension de l'interpretation de Gödel à l'analyse, et son application à l'elimination des coupures dans l'analyse et la theorie des types, Proceedings of the Second Scandinavian Logic Symposium, (Fenstad, Editor), pp. 63–92.Google Scholar
  6. HEYTING, A. 1966 Intuitionism, An Introduction. North-Holland Publishing Co., Amsterdam.zbMATHGoogle Scholar
  7. KREISEL, G. 1962 On weak completeness of intuitionistic predicate logic, The Journal of Symbolic Logic, vol. 27, pp. 139–158.MathSciNetCrossRefzbMATHGoogle Scholar
  8. KRIPKE, S. 1965 Semantical analysis of Intuitionistic Logic, Formal Systems and Recursive Functions, (Crossley and Dummett, Editors), pp. 92–129.Google Scholar
  9. PRAWITZ, D. 1965 Natural Deduction, A Proof Theoretical Study. Almquist and Wiksell, Stockholm.zbMATHGoogle Scholar
  10. PRAWITZ, D. 1971 Ideas and results of proof theory, Proceedings of the Second Scandinavian Symposium, (Fenstad, Editor) pp. 235–308.Google Scholar
  11. TROELSTRA, A.S. 1973 Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344.Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • E. G. K. Lopez-Escobar
    • 1
  • W. Veldman
    • 2
  1. 1.Department of MathematicsUniversity of MarylandCollege Park
  2. 2.Math. InstituutKatholieke Univ.Nijmegen

Personalised recommendations