Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 47, Number 1 (2006), 73-82.
Constructive Logic and the Medvedev Lattice
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.
Notre Dame J. Formal Logic Volume 47, Number 1 (2006), 73-82.
First available in Project Euclid: 27 March 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03D30: Other degrees and reducibilities 03B55: Intermediate logics 03G10: Lattices and related structures [See also 06Bxx]
Secondary: 03D80: Applications of computability and recursion theory
Terwijn, Sebastiaan A. Constructive Logic and the Medvedev Lattice. Notre Dame J. Formal Logic 47 (2006), no. 1, 73--82. doi:10.1305/ndjfl/1143468312. http://projecteuclid.org/euclid.ndjfl/1143468312.