Generalizations of the Weak Law of the Excluded Middle
Logic
2011-11-09 v1
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.
Keywords
Cite
@article{arxiv.1111.1936,
title = {Generalizations of the Weak Law of the Excluded Middle},
author = {Andrea Sorbi and Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:1111.1936},
year = {2011}
}