JournalsprimsVol. 9, No. 1pp. 141–155

Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics

  • Masahiko Sato

    University of Tokyo, Japan
Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics cover
Download PDF

Cite this article

Masahiko Sato, Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics. Publ. Res. Inst. Math. Sci. 9 (1973), no. 1, pp. 141–155

DOI 10.2977/PRIMS/1195192742