## Notre Dame Journal of Formal Logic

### Generalizations of the Weak Law of the Excluded Middle

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

#### Article information

Source
Notre Dame J. Formal Logic, Volume 56, Number 2 (2015), 321-331.

Dates
First available in Project Euclid: 17 April 2015

https://projecteuclid.org/euclid.ndjfl/1429277354

Digital Object Identifier
doi:10.1215/00294527-2864325

Mathematical Reviews number (MathSciNet)
MR3337383

Zentralblatt MATH identifier
1328.03028

#### Citation

Sorbi, Andrea; Terwijn, Sebastiaan A. Generalizations of the Weak Law of the Excluded Middle. Notre Dame J. Formal Logic 56 (2015), no. 2, 321--331. doi:10.1215/00294527-2864325. https://projecteuclid.org/euclid.ndjfl/1429277354

#### References

• [1] Aigner, M., and G. M. Ziegler, Proofs from The Book, 3rd edition, Springer, Berlin, 2004.
• [2] Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Mo., 1974.
• [3] Brouwer, L. E. J., “Consciousness, philosophy, and mathematics,” pp. 1235–49 in Library of the Tenth International Congress of Philosophy (Amsterdam, 1948), edited by E. Beth, H. Pos, and H. Hollak, publisher unknown, 1948.
• [4] Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, New York, 1997.
• [5] Dummett, M. A. E., and E. J. Lemmon, “Modal logics between $S4$ and $S5$,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–64.
• [6] Fitting, M. C., Intuitionistic Logic, Model Theory and Forcing, vol. 21 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1969.
• [7] Gabbay, D. M., Semantical Investigations in Heyting’s Intuitionistic Logic, vol. 148 of Synthese Library, D. Reidel, Dordrecht, Boston, 1981.
• [8] Harrop, R., “On the existence of finite models and decision procedures for propositional calculi,” Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.
• [9] Jankov, V. A., “Calculus of the weak law of the excluded middle” (in Russian), Rossiiskaya Akademiya Nauk. Izvestiya Seriya Matematicheskaya, vol. 32 (1968), pp. 1044–51.
• [10] Ono, H., “Kripke models and intermediate logics,” Publications of the Research Institute for Mathematical Sciences, vol. 6 (1970/71), pp. 461–76.
• [11] Shafer, P., personal communication, May 2009.
• [12] Smorynski, C. A., Investigations of intuitionistic formal systems by means of Kripke models, Ph.D. dissertation, University of Illinois at Chicago, Chicago, 1973.
• [13] Sorbi, A., “Embedding Brouwer algebras in the Medvedev lattice,” Notre Dame Journal of Formal Logic, vol. 32 (1991), pp. 266–75.
• [14] Sorbi, A., “Some quotient lattices of the Medvedev lattice,” Mathematical Logic Quarterly, vol. 37 (1991), pp. 167–82.
• [15] Sorbi, A., and S. A. Terwijn, “Intermediate logics and factors of the Medvedev lattice,” Annals of Pure and Applied Logic, vol. 155 (2008), pp. 69–86.
• [16] Sperner, E., “Ein Satz über Untermengen einer endlichen Menge,” Mathematische Zeitschrift, vol. 27 (1928), pp. 544–8.