Pseudo two-valued evaluation method for intermediate logics. - Tsutomu Hosoi (Stud Logica, 1986)

Gentzen-type formulation of the prepositional logic LQ. - Tsutomu Hosoi (Stud Logica, 1988)

A study of intermediate propositional logics on the thrid slice. - Tsutomu Hosoi; Isao Masuda (Stud Logica, 1993)