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

  • Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up cover
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