Intermediate logics and factors of the Medvedev lattice
  We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them. 
Andrea Sorbi and Sebastiaan A. Terwijn