The intermediate logics have been classified into slices (cf. Hosoi ), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono ). In order to study the structure of slices, we give a method of a finer classification of slices & n (n ≥ 3). Here we 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 continuum of logics. A characterization of logics in each subslice is given in terms of the form of models.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
T. Hosoi,On intermediate logics I,J. Fac. Sci., Univ. Tokyo 14 (1967), pp. 293–312.
T. Hosoi andH. Ono,The intermediate logics on the second slice,J. Fac. Sci. 17 (1970), pp. 457–461.
V. A. Jankov,Constructing a sequence of strongly independent superintuitionistic propositional calculi,Soviet Math. Dokl. 9 (1968), pp. 806–807.
Y. Komori,The finite model property of the intermediate propositional logics on finite slices,J. Fac. Sci., Univ. Tokyo 45 (1975), pp. 117–120.
C. G. McKay,On finite logics,Indagationes mathematicae 29 (1967), pp. 363–365.
H. Ono,Kripke models and intermediate logics,Publ. RIMS, Kyoto Univ. 6 (1970/71), pp. 461–476.
H. Ono,Some results on the intermediate logics,Publ. RIMS, Kyoto Univ. 8 (1972), pp. 117–130.
About this article
Cite this article
Hosoi, T., Masuda, I. A study of intermediate propositional logics on the third slice. Stud Logica 52, 15–21 (1993). https://doi.org/10.1007/BF01053061
- Mathematical Logic
- Detailed Structure
- Computational Linguistic
- Propositional Logic
- Fine Classification