Kripke models, distributive lattices, and Medvedev degrees

DOI10.1007/S11225-007-9054-9MaRDI QIDQ995672zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• New Computational Paradigms
• Constructive logic and the Medvedev lattice
• Decidable Kripke models of intuitionistic theories
• Homomorphisms and chains of Kripke models
• scientific article; zbMATH DE number 4106836
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• On the structure of kripke models of heyting arithmetic
• scientific article; zbMATH DE number 828249
• Computable Kripke models and intermediate logics
• Publication:4935741

Cites work

• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• scientific article; zbMATH DE number 841094 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Constructive logic and the Medvedev lattice
• Constructivism in mathematics. An introduction. Volume I
• Embedding Brouwer algebra in the Medvedev lattice
• New Computational Paradigms
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Some remarks on the algebraic structure of the Medvedev Lattice
• The Medvedev lattice of computably closed sets

Cited in

(9)

• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• Destructibility and axiomatizability of Kaufmann models
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• The finite intervals of the Muchnik lattice
• First-order logic in the Medvedev lattice
• Constructive logic and the Medvedev lattice
• Kripke models for classical logic
• New Computational Paradigms

This page was built for publication: Kripke models, distributive lattices, and Medvedev degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995672)