Kripke models, distributive lattices, and Medvedev degrees

DOI10.1007/S11225-007-9054-9zbMATH Open1165.03007OpenAlexW1969083063MaRDI QIDQ995672FDOQ995672

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

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

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)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Constructive logic and the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Medvedev lattice of computably closed sets
• Embedding Brouwer algebra in the Medvedev lattice
• New Computational Paradigms

Cited In (9)

• The finite intervals of the Muchnik lattice
• New Computational Paradigms
• Title not available (Why is that?)
• Constructive logic and the Medvedev lattice
• First-order logic in the Medvedev lattice
• Kripke models for classical logic
• Title not available (Why is that?)
• Destructibility and axiomatizability of Kaufmann models
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS

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)