Generalizations of the Weak Law of the Excluded Middle
classification
🧮 math.LO
keywords
formulasexcludedmiddleweakalgebrasbrouwercharacterizationclass
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.