Skip to main content

Intuitionistic completeness of a restricted second-order logic

Part of the Lecture Notes in Mathematics book series (LNM,volume 500)

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • BETH, E.W. 1949 Semantical considerations on intuitionistic mathematics, Indag. Math., vol. 9.

    Google Scholar 

  • BETH, E.W. 1955 Semantic entailment and formal derivability, Mededelingen der Kon. Ned. Akad. v. Wet., new series, vol. 18, no. 13.

    Google Scholar 

  • BETH, E.W. 1956 Semantic construction of Intuitionistic Logic, ibid. Mededelingen der Kon. Ned. Akad. v. Wet., vol. 19, no. 11.

    Google Scholar 

  • 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 

  • 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 

  • HEYTING, A. 1966 Intuitionism, An Introduction. North-Holland Publishing Co., Amsterdam.

    MATH  Google Scholar 

  • KREISEL, G. 1962 On weak completeness of intuitionistic predicate logic, The Journal of Symbolic Logic, vol. 27, pp. 139–158.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • KRIPKE, S. 1965 Semantical analysis of Intuitionistic Logic, Formal Systems and Recursive Functions, (Crossley and Dummett, Editors), pp. 92–129.

    Google Scholar 

  • PRAWITZ, D. 1965 Natural Deduction, A Proof Theoretical Study. Almquist and Wiksell, Stockholm.

    MATH  Google Scholar 

  • PRAWITZ, D. 1971 Ideas and results of proof theory, Proceedings of the Second Scandinavian Symposium, (Fenstad, Editor) pp. 235–308.

    Google Scholar 

  • TROELSTRA, A.S. 1973 Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Additional information

Dedicated to Kurt Schütte on occasion of his 65th birthday

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Lopez-Escobar, E.G.K., Veldman, W. (1975). Intuitionistic completeness of a restricted second-order logic. 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/BFb0079553

Download citation

  • DOI: https://doi.org/10.1007/BFb0079553

  • 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