Kripke models, distributive lattices, and Medvedev degrees

DOI10.1007/s11225-007-9054-9zbMath1165.03007OpenAlexW1969083063MaRDI QIDQ995672

Sebastiaan A. Terwijn

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

zbMATH Keywords

Kripke semanticsintuitionistic propositional logicMedvedev degrees

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

The finite intervals of the Muchnik lattice

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