JournalsprimsVol. 9 , No. 1DOI 10.2977/prims/1195192742

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