Abstract
In this first tutorial we review the basics of intuitionistic logic. We start with L. E. J. Brouwer’s philosophy of mathematics, intuitionism, and the subsequent formalization by Heyting [1] of its underlying logic. The Brouwer-Heyting-Kolmogorov interpretation is an informal manner (in fact consisting of various ideas lumped together) of motivating the formal rules of deduction in this logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussisischen Akademie von Wissenschaften, Physikalisch-mathematische Klasse, 42–56 (1930)
Iemhoff, R.: On the rules of intermediate logics. Archive for Mathematical Logic 45(5), 581–599 (2006)
Kleene, S.C.: On the interpretation of intuitionistic number theory. Journal of Symbolic Logic 10, 109–124 (1945)
Kolmogorov, A.: Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35(1), 58–65 (1932)
Medvedev, Y.T.: Degrees of difficulty of the mass problems. Dokl. Akad. Nauk. SSSR 104(4), 501–504 (1955)
van Oosten, J.: Realizability: An introduction to its categorical side. Studies in logic and the foundations of mathematics, vol. 152. Elsevier, Amsterdam (2008)
Skvortsova, E.Z.: A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice. Sibirsk. Math. Zh. 29(1), 171–178 (in Russian, 1988)
Simpson, S.G.: \(\Pi^0_1\) sets and models of WKL0. In: Reverse Mathematics 2001. Lecture Notes in Logic, vol. 21. ASL (2005)
Sorbi, A.: The Medvedev lattice of degrees of difficulty. In: Cooper, S.B., Slaman, T.A., Wainer, S.S. (eds.) Computability, Enumerability, Unsolvability: Directions in Recursion Theory, London. Mathematical Society Lecture Notes, vol. 224, pp. 289–312. Cambridge University Press, Cambridge (1996)
Sorbi, A., Terwijn, S.A.: Intermediate logics and factors of the Medvedev lattice. Annals of Pure and Applied Logic 155, 69–85 (2008)
Terwijn, S.A.: Syllabus computabiliy theory, Vienna. Available at the author’s web pages (2004)
Terwijn, S.A.: The Medvedev lattice of computably closed sets. Archive for Mathematical Logic 45(2), 179–190 (2006)
Terwijn, S.A.: Constructive logic and computational lattices, habilitation thesis, Technical University of Vienna (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terwijn, S.A. (2010). Intuitionistic Logic and Computability Theory. In: Dawar, A., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2010. Lecture Notes in Computer Science(), vol 6188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13824-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-13824-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13823-2
Online ISBN: 978-3-642-13824-9
eBook Packages: Computer ScienceComputer Science (R0)