Abstract
In this chapter, the connection between the notion of truth in a generalized Beth model and the intuitive notion of truth according to the intuitionistic meaning of logical constants is analysed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
de Swart, H. (1976). Another intuitionistic completeness proof. Journal of Symbolic Logic, 41, 644–662.
Kreisel, G. (1962). Weak completeness of intuitionistic predicate logic. Journal of Symbolic Logic, 27, 139–158.
Troelstra, A. (1977). Choice sequences. Oxford: Oxford University Press.
Veldman, W. (1976). An intuitionistic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic, 41, 159–176.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Martino, E. (2018). Natural Intuitionistic Semantics and Generalized Beth Semantics. In: Intuitionistic Proof Versus Classical Truth. Logic, Epistemology, and the Unity of Science, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-74357-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-74357-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74356-1
Online ISBN: 978-3-319-74357-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)