On intermediate propositional logics

Abstract

By intermediate prepositional logics we mean prepositional logics between the intuitionistic and classical logics. K. Gödel [1] proved that there is a set of intermediate prepositional logics which possesses the order type ω. The method enables us to define intermediate logics in terms of axioms and rules of inference. We shall call it the axiomatic method.