Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics

DOI10.2977/PRIMS/1195192742zbMath0274.02029OpenAlexW1967180146MaRDI QIDQ2264662

Masahiko Sato

Publication date: 1973

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/1195192742

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Intermediate logics (03B55)

Cites Work

• Kripke models and intermediate logics
• Axiomatization of models for intermediate logics constructed with Boolean models by piling up
• Some results on the intermediate logics
• A propositional calculus with denumerable matrix
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics