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.
Sorbi, A., Terwijn, S.A. (2015). Generalizations of the Weak Law of the Excluded Middle. NOTRE DAME JOURNAL OF FORMAL LOGIC, 56(2), 321-331 [10.1215/00294527-2864325].
Generalizations of the Weak Law of the Excluded Middle
SORBI, ANDREA;
2015-01-01
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
weak-law-excluded-middle.pdf
non disponibili
Descrizione: Articolo unico
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
322.7 kB
Formato
Adobe PDF
|
322.7 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/979978