Some results on intermediate constructive logics (Q583197)

The authors illustrate some methods applicable in the study of intermediate constructive logics, i.e. the logics intermediate between the classical and the Heyting propositional calculus having the disjunction property. A general characterization of maximal intermediate constructive logics is given, offering the possibility to obtain a new proof of maximality of Medvedev's logic of finite problems [see \textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 142, 1015-1018 (1962; Zbl 0286.02028)]. A syntactic procedure for proving the constructivity of a propositional logic is described, allowing to investigate the systems for which no Kripke semantics is known. Also, a new semantical characterization of Medvedev's logic is presented, which is used in a new proof of Friedman's conjecture [see Problem 41 in \textit{H. Friedman}, J. Symb. Logic 40, 113-129 (1975; Zbl 0318.02002)]. The material contained in the paper is presented clearly and precisely.