Axiomatization of models for intermediate logics constructed with Boolean models by piling up

DOI10.2977/PRIMS/1195193224MaRDI QIDQ2555486zbMATH OpenOpenAlexFDO

Authors Hiroakira Ono, Tsutomu Hosoi

Publication date 1972

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2977/prims/1195193224

Mathematics Subject Classification ID

Intermediate logics (03B55) Model theory (03C99)

Cites work

• scientific article; zbMATH DE number 3236052 (Why is no real title available?)
• scientific article; zbMATH DE number 3245444 (Why is no real title available?)
• scientific article; zbMATH DE number 3259885 (Why is no real title available?)
• scientific article; zbMATH DE number 3280029 (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?)
• The decidability of certain intermediate propositional logics

Cited in

(2)

• Separability of normalizable superintuitionistic propositional logics
• Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics

This page was built for publication: Axiomatization of models for intermediate logics constructed with Boolean models by piling up

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