Translator Disclaimer
2015 Generalizations of the Weak Law of the Excluded Middle
Andrea Sorbi, Sebastiaan A. Terwijn
Notre Dame J. Formal Logic 56(2): 321-331 (2015). DOI: 10.1215/00294527-2864325

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

Download 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

Published: 2015
First available in Project Euclid: 17 April 2015

zbMATH: 1328.03028
MathSciNet: MR3337383
Digital Object Identifier: 10.1215/00294527-2864325

Subjects:
Primary: 03B55, 03G10
Secondary: 03D30

Rights: Copyright © 2015 University of Notre Dame

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.56 • No. 2 • 2015
Back to Top