Abstract
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra, Graduate Texts in Mathematics. Springer Verlag, New York, Heidelberg, Berlin (1981)
Grätzer G.: Universal Algebra, 2nd edn. Springer-Verlag, New York (1979)
Grätzer G.: General lattice theory, 2nd edn. Birkhäuser, Basel (2003)
Jankov V.A.: The calculus of the weak law of excluded middle. Izv. Math. 2, 997–1004 (1968)
Jaśkowski, S.: Recherches sur le système de la logique intuitioniste. In: Actes du Congrès International de Philosophie Scientifique VI, Philosophie des Mathématiques, Actualités Scientifiques et Industrielles, vol. 393, pp. 8–61, Hermann, Paris (1936)
Kolmogorov A.: Zur Deutung der intuitionistischen Logik. Math. Z. 35, 58–65 (1932)
Lachlan A.H., Lebeuf R.: Countable initial segments of the degrees of unsolvability. J. Symbolic Logic 41, 289–300 (1976)
McKinsey J.C.C., Tarski A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symbolic Logic 13, 1–15 (1948)
Medvedev Yu.T.: Degrees of difficulty of the mass problems. Dokl. Akad. Nauk 104, 501–504 (1955)
Medvedev Yu.T.: Finite problems. Dokl. Akad. Nauk (NS) 142, 1015–1018 (1962)
Muchnik A.A.: On strong and weak reducibility of algorithmic problems. Sibirsk. Mat. Zh. 4, 1328–1341 (1963) (Russian)
Rasiowa H., Sikorski R.: The Mathematics of Metamathematics. Panstowe Wydawnictwo Naukowe, Warszawa (1963)
Rogers H. Jr.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)
Skvortsova E.Z.: Faithful interpretation of the intuitionistic propositional calculus by an initial segment of the Medvedev lattice. Sibirsk. Mat. Zh. 29, 171–178 (1988) (Russian)
Sorbi A.: Some remarks on the algebraic structure of the Medvedev lattice. J. Symbolic Logic 55, 831–853 (1990)
Sorbi A.: Embedding Brouwer algebras in the Medvedev lattice. Notre Dame J. Formal Logic 32, 266–275 (1991)
Sorbi A.: Some quotient lattices of the Medvedev lattice. Z. Math. Logik Grundlag. Math. 37, 167–182 (1991)
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 Series, pp. 289–312. Cambridge University Press, New York (1996)
Sorbi A., Terwijn S.A.: Intermediate logics and factors of the Medvedev lattice. Ann. Pure Appl. Logic 155, 69–86 (2008)
Szatkowski M.: On fragments of Medvedev’s logic. Studia Logica 40, 39–54 (1981)
Terwijn S.A.: Constructive logic and the Medvedev lattice. Notre Dame J. Formal Logic 47, 73–82 (2006)
Terwijn, S.A.: The finite intervals of the Muchnik lattice. Trans. Amer. Math. Soc. (in press)
Troelstra A.S.: On intermediate propositional logics. Indag. Math. 27, 141–152 (1965)
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by C. Tsinakis.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Sorbi, A., Terwijn, S.A. Intuitionistic logic and Muchnik degrees. Algebra Univers. 67, 175–188 (2012). https://doi.org/10.1007/s00012-012-0176-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-012-0176-1