A study of intermediate propositional logics on the third slice

DOI10.1007/BF01053061MaRDI QIDQ1208111zbMATH OpenFDO

Authors Isao Masuda, Tsutomu Hosoi

Publication date 16 May 1993

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01053061

zbMATH Keywords

intermediate logicspos modelposetsslices

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3873298
• The structure of slices over minimal logic
• scientific article; zbMATH DE number 3880661
• scientific article; zbMATH DE number 3841822
• On the existence of continua of logics between some intermediate predicate logics

Cites work

• scientific article; zbMATH DE number 3496104 (Why is no real title available?)
• scientific article; zbMATH DE number 3245444 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3342820 (Why is no real title available?)
• Kripke models and intermediate logics
• Some results on the intermediate logics

Cited in

(4)

• The simple substitution property of the intermediate propositional logics on finite slices
• A semantic hierarchy for intuitionistic logic
• The structure of slices over minimal logic
• Modal logics that need very large frames

This page was built for publication: A study of intermediate propositional logics on the third slice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208111)