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](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-9-issue-1.png&w=3840&q=90)
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