A study of intermediate propositional logics on the third slice (Q1208111)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A study of intermediate propositional logics on the third slice |
scientific article |
Statements
A study of intermediate propositional logics on the third slice (English)
0 references
16 May 1993
0 references
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.
0 references
pos model
0 references
posets
0 references
intermediate logics
0 references
slices
0 references