Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up

Tsutomu Hosoi; Hiroakira Ono

doi:10.2977/prims/1195193224

JournalsprimsVol. 8, No. 1pp. 1–11

Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up

Tsutomu Hosoi
Tsuda College, Tokyo, Japan
- MathSciNet
- zbMATH Open
Hiroakira Ono
Japan Advanced Institute of Science and Technology, Ishikawa, Japan
- MathSciNet
- zbMATH Open

Download PDF

Cite this article

Tsutomu Hosoi, Hiroakira Ono, Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up. Publ. Res. Inst. Math. Sci. 8 (1972), no. 1, pp. 1–11

DOI 10.2977/PRIMS/1195193224