A study of intermediate propositional logics on the third slice (Q1208111)

The intermediate logics have been classified into slices by the first author in 1967 [Zbl 0188.31602], but the detailed structure of slices has been studied only for the first two slices by the first author and H. Ono [Zbl 0216.00502]. In order to study the structure of slices, the authors give a method of a finer classification of slices. In the paper, they treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each subslice contains a continuum of logics. A characterization of logics in each subslice is given in terms of the form of models.