This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
BETH, E.W. 1949 Semantical considerations on intuitionistic mathematics, Indag. Math., vol. 9.
BETH, E.W. 1955 Semantic entailment and formal derivability, Mededelingen der Kon. Ned. Akad. v. Wet., new series, vol. 18, no. 13.
BETH, E.W. 1956 Semantic construction of Intuitionistic Logic, ibid. Mededelingen der Kon. Ned. Akad. v. Wet., vol. 19, no. 11.
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.
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.
HEYTING, A. 1966 Intuitionism, An Introduction. North-Holland Publishing Co., Amsterdam.
KREISEL, G. 1962 On weak completeness of intuitionistic predicate logic, The Journal of Symbolic Logic, vol. 27, pp. 139–158.
KRIPKE, S. 1965 Semantical analysis of Intuitionistic Logic, Formal Systems and Recursive Functions, (Crossley and Dummett, Editors), pp. 92–129.
PRAWITZ, D. 1965 Natural Deduction, A Proof Theoretical Study. Almquist and Wiksell, Stockholm.
PRAWITZ, D. 1971 Ideas and results of proof theory, Proceedings of the Second Scandinavian Symposium, (Fenstad, Editor) pp. 235–308.
TROELSTRA, A.S. 1973 Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Additional information
Dedicated to Kurt Schütte on occasion of his 65th birthday
Rights 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
