Generalizations of the weak law of the excluded middle
From MaRDI portal
Publication:2354624
DOI10.1215/00294527-2864325zbMath1328.03028arXiv1111.1936OpenAlexW2170782937MaRDI QIDQ2354624
Sebastiaan A. Terwijn, Andrea Sorbi
Publication date: 20 July 2015
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1111.1936
Logical aspects of lattices and related structures (03G10) Other degrees and reducibilities in computability and recursion theory (03D30) Intermediate logics (03B55)
Cites Work
- Intermediate logics and factors of the Medvedev lattice
- Semantical investigations in Heyting's intuitionistic logic
- Embedding Brouwer algebra in the Medvedev lattice
- Kripke models and intermediate logics
- Some Quotient Lattices of the Medvedev Lattice
- Modal Logics Between S 4 and S 5
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item