Intermediate logics and factors of the Medvedev lattice

DOI10.1016/J.APAL.2008.03.002zbMATH Open1156.03026arXivmath/0606494OpenAlexW2153885813MaRDI QIDQ952483FDOQ952483

Authors: Andrea Sorbi, Sebastiaan A. Terwijn 

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Full work available at URL: https://arxiv.org/abs/math/0606494

Recommendations

• Constructive logic and the Medvedev lattice
• scientific article; zbMATH DE number 3873298
• scientific article
• Intermediate logics and the de Jongh property
• First-order logic in the Medvedev lattice
• scientific article
• Some results on intermediate constructive logics
• Topologies for intermediate logics
• On the rules of intermediate logics
• scientific article; zbMATH DE number 937394

zbMATH Keywords

Medvedev degreesintermediate logicsfactor lattices

Mathematics Subject Classification ID

Intermediate logics (03B55) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites Work

• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• Title not available (Why is that?)
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Classical recursion theory. The theory of functions and sets of natural numbers
• Mass Problems and Randomness
• Some remarks on the algebraic structure of the Medvedev Lattice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Embedding Brouwer algebra in the Medvedev lattice
• Some Quotient Lattices of the Medvedev Lattice
• ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
• A splitting theorem for the Medvedev and Muchnik lattices
• On the structure of the Medvedev lattice
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• The finite intervals of the Muchnik lattice
• Effectively closed mass problems and intuitionism
• Topological aspects of the Medvedev lattice
• A survey of Mučnik and Medvedev degrees
• Logics of some Kripke frames connected with Medvedev notion of informational types
• Title not available (Why is that?)
• Generalizations of the weak law of the excluded middle
• Constructive logic and the Medvedev lattice
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• Natural factors of the Medvedev lattice capturing IPC
• Coding true arithmetic in the Medvedev and Muchnik degrees
• Title not available (Why is that?)
• Intuitionistic logic and Muchnik degrees
• Title not available (Why is that?)

This page was built for publication: Intermediate logics and factors of the Medvedev lattice

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