Intermediate logics and factors of the Medvedev lattice
arXiv:math/0606494
Abstract
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
arXiv:math/0606494
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.