Tsutomu Hosoi

Gentzen-type formulation of the prepositional logic LQ

Tsutomu Hosoi, 1988, Stud Logica.

A study of intermediate propositional logics on the third slice

Isao Masuda, Tsutomu Hosoi, 1993, Stud Logica.

Pseudo two-valued evaluation method for intermediate logics

Tsutomu Hosoi, 1986, Stud Logica.

The Separable Axiomatization of the Intermediate Propositional Systems Sn of Gödel

Tsutomu Hosoi, T. Hosoi, 1966 .

Algebraic proof of the separation theorem on classical propositional calculus

Tsutomu Hosoi, 1966 .

Language and Mathematics

Colette Laborde, Tsutomu Hosoi, A. G. Howson, 1983 .