Intermediate logics and factors of the Medvedev lattice [article]

Andrea Sorbi, Sebastiaan A. Terwijn
2006 arXiv   pre-print
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
arXiv:math/0606494v1 fatcat:3spff4xw3vae5ikudiveba77qy