Generalizations of the Weak Law of the Excluded Middle

Andrea Sorbi, Sebastiaan A. Terwijn

Type: Article

Publication Date: 2015-01-01

Citations: 1

DOI: https://doi.org/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.

Locations

arXiv (Cornell University) - View - PDF
Project Euclid (Cornell University) - View - PDF
Radboud Repository (Radboud University) - View - PDF
Data Archiving and Networked Services (DANS) - View - PDF
Notre Dame Journal of Formal Logic - View

Similar Works

Action	Title	Year	Authors
+	Generalizations of the Weak Law of the Excluded Middle	2011	Andrea Sorbi Sebastiaan A. Terwijn
+	Generalizations of the Weak Law of the Excluded Middle	2011	Andrea Sorbi Sebastiaan A. Terwijn
+ PDF Chat	Intermediate logics and factors of the Medvedev lattice	2008	Andrea Sorbi Sebastiaan A. Terwijn
+	Intermediate logics and factors of the Medvedev lattice	2006	Andrea Sorbi Sebastiaan A. Terwijn
+	Refutation of Extrema Order Filter in Finite-Valued Łukasiewicz Logics	2020	Colin James
+	Logics of Mathematics	2021	Geoffrey Hellman
+	First-order Gödel logics	2007	Matthias Baaz Norbert Preining Richard Zach
+	Non-Classical Logics	1989	Jan Woleński
+	Logico-mathematical background	2007	J. C. Huang
+ PDF Chat	Minimally Generated Abstract Logics	2009	Steffen Lewitzka Andreas B. M. Brunner
+	On Polarity Frames: Applications to Substructural and Lattice-based Logics.	2014	Tomoyuki Suzuki
+ PDF Chat	The Logics of Individual Medvedev Frames	2024	Zhicheng Chen Yi Ding
+	Annals of mathematical logic	1969
+ PDF Chat	Filter pairs and natural extensions of logics	2022	Peter Arndt Hugo Luiz Mariano Darllan Conceição Pinto
+ PDF Chat	Logics of Finite Hankel Rank	2015	Nadia Labai Johann A. Makowsky
+ PDF Chat	Logics of left variable inclusion and Płonka sums of matrices	2020	Stefano Bonzio Tommaso Moraschini Michele Pra Baldi
+	Algebraical Logic: Leibniz and Boole	2000	Theodore Hailperin
+ PDF Chat	Containment Logics: Algebraic Completeness and Axiomatization	2021	Stefano Bonzio Michele Pra Baldi
+	Theory of Linear Order in Extended Logics	1995	Heinrich Herre
+ PDF Chat	Leibnizian, Robinsonian, and Boolean valued monads	2011	S. S. Kutateladze

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (5)

Action	Title	Year	Authors
+	Proofs from THE BOOK	1998	Martin Aigner Gnter M. Ziegler
+	Ein Satz �ber Untermengen einer endlichen Menge	1928	Emanuel Sperner
+	CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS	1975	L. E. J. Brouwer
+	Proofs from THE BOOK	2004	Martin Aigner Günter M. Ziegler
+ PDF Chat	Intermediate logics and factors of the Medvedev lattice	2008	Andrea Sorbi Sebastiaan A. Terwijn