%0 Journal Article
%T Generalizations of the Weak Law of the Excluded Middle
%A Andrea Sorbi
%A Sebastiaan A. Terwijn
%J Mathematics
%D 2011
%I arXiv
%X 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.
%U http://arxiv.org/abs/1111.1936v1