Tsutomu Hosoi

According to our database¹, Tsutomu Hosoi authored at least 3 papers between 1986 and 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

A study of intermediate propositional logics on the thrid slice.

[BibT_eX]

[DOI]

Stud Logica, 1993

1988

Gentzen-type formulation of the prepositional logic <i>LQ</i>.

[BibT_eX]

[DOI]

Stud Logica, 1988

1986

Pseudo two-valued evaluation method for intermediate logics.

[BibT_eX]

[DOI]

Stud Logica, 1986