Intermediate logics and factors of the Medvedev lattice
Logic
2007-05-23 v1
Abstract
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
Keywords
Cite
@article{arxiv.math/0606494,
title = {Intermediate logics and factors of the Medvedev lattice},
author = {Andrea Sorbi and Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:math/0606494},
year = {2007}
}