Constructive Logic and the Medvedev Lattice
Terwijn, Sebastiaan A.
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 73-82 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2006-01-14
Classification:  intuitionistic propositional logic,  Medvedev degrees,  Muchnik degrees,  computability,  03D30,  03B55,  03G10,  03D80 
@article{1143468312,
     author = {Terwijn, Sebastiaan A.},
     title = {Constructive Logic and the Medvedev Lattice},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 73-82},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1143468312}
}

Terwijn, Sebastiaan A. Constructive Logic and the Medvedev Lattice. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  73-82. http://gdmltest.u-ga.fr/item/1143468312/