2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/113961We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.LogicIntermediate logics and factors of the Medvedev latticetext