Some results on intermediate constructive logics.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti · Notre Dame Journal of Formal Logic · 1989
Some techniques for the study of intermediate constructive logics are illustrated.In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Medvedev's logic of finite problems ) can be obtained.Some semantical notions are also introduced, allowing a new characterization of MV, from which a new proof of a conjecture of Friedman's and a new family of principles valid in MV can be extracted.