Translator Disclaimer
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

Abstract

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.

Citation

Download Citation

Sebastiaan A. Terwijn. "Constructive Logic and the Medvedev Lattice." Notre Dame J. Formal Logic 47 (1) 73 - 82, 2006. https://doi.org/10.1305/ndjfl/1143468312

Information

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

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

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

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


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