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

DOI10.2977/PRIMS/1195193224zbMATH Open0246.02021OpenAlexW2050459171MaRDI QIDQ2555486FDOQ2555486

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

• Title not available (Why is that?)
• The decidability of certain intermediate propositional logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)