2 search results - page 1 / 1 » Intermediate logics and factors of the Medvedev lattice |
132
click to vote
APAL
2008
15 years 6 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
163
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...