Eiji Kiriyama

A computational complexity of decision procedure for the intuitionistic logic without weakening rule

Setsuo Arikawa, 有川 節夫, Hiroakira Ono, 1991 .

Decision Problems for the Intuitionistic Logic without Weakening Rule

Hiroakira Ono, 小野 寛晰, Eiji Kiriyama, 1990 .

The contraction rule and decision problems for logics without structural rules

Eiji Kiriyama, Hlroakira Ono, 1991, Stud Logica.