Open Access
2006 Constructive Logic and the Medvedev Lattice
Sebastiaan A. Terwijn
Notre Dame J. Formal Logic 47(1): 73-82 (2006). DOI: 10.1305/ndjfl/1143468312


We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in between intuitionistic propositional logic and the logic of the weak law of the excluded middle (also known as De Morgan, or Jankov, logic). We discuss the relation between the weak law of the excluded middle and the algebraic notion of join-reducibility. Finally we discuss autoreducible degrees.


Download Citation

Sebastiaan A. Terwijn. "Constructive Logic and the Medvedev Lattice." Notre Dame J. Formal Logic 47 (1) 73 - 82, 2006.


Published: 2006
First available in Project Euclid: 27 March 2006

zbMATH: 1107.03024
MathSciNet: MR2211183
Digital Object Identifier: 10.1305/ndjfl/1143468312

Primary: 03B55 , 03D30 , 03G10
Secondary: 03D80

Keywords: computability , intuitionistic propositional logic , Medvedev degrees , Muchnik degrees

Rights: Copyright © 2006 University of Notre Dame

Vol.47 • No. 1 • 2006
Back to Top