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.
"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