Abstract
We study a class of formulas generalizing the weak law of the excluded middle and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to factors of the Medvedev lattice.
Citation
Andrea Sorbi. Sebastiaan A. Terwijn. "Generalizations of the Weak Law of the Excluded Middle." Notre Dame J. Formal Logic 56 (2) 321 - 331, 2015. https://doi.org/10.1215/00294527-2864325
Information