Intermediate logics and factors of the Medvedev lattice (Q952483)

The lattice \(\mathfrak M\) of Medvedev degrees of mass problems admits the additional structure of a Brouwer algebra. That algebra yields a propositional logic strictly between the classical and intuitionistic propositional calculi. This paper dicusses the logics corresponding to the initial segments of \(\mathfrak M\) (which are isomorphic to quotient algebras of \(\mathfrak M\)). All such logics also lie, not always strictly, between classical and intuitionistic, and there are infinitely many different ones. The authors pay particular attention to matters related to the open question of whether any of these logics lie strictly between classical and the logic given by \(\mathfrak M\) itself.