Kripke models, distributive lattices, and Medvedev degrees
From MaRDI portal
Publication:995672
DOI10.1007/s11225-007-9054-9zbMath1165.03007OpenAlexW1969083063MaRDI QIDQ995672
Publication date: 10 September 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-007-9054-9
Other degrees and reducibilities in computability and recursion theory (03D30) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Medvedev lattice of computably closed sets
- Constructivism in mathematics. An introduction. Volume I
- Embedding Brouwer algebra in the Medvedev lattice
- Constructive logic and the Medvedev lattice
- Some remarks on the algebraic structure of the Medvedev Lattice
- New Computational Paradigms
- Propositional Calculus and Realizability
- On the interpretation of intuitionistic number theory