Logics Without the Contraction Rule. - Hiroakira Ono; Yuichi Komori (J. Symb. Log., 1985)

A new semantics for intuitionistic predicate logic. - Yuichi Komori (Stud Logica, 1986)

Predicate logics without the structure rules. - Yuichi Komori (Stud Logica, 1986)

The Number of Proofs for a BCK-Formula. - Yuichi Komori; Sachio Hirokawa (J. Symb. Log., 1993)

Syntactical investigations into BI logic and BB'I logic. - Yuichi Komori (Stud Logica, 1994)

A reduction rule for Peirce formula. - Sachio Hirokawa; Yuichi Komori; Izumi Takeuti (Stud Logica, 1996)

A Lambda Proof of The P-W Theorem. - Sachio Hirokawa; Yuichi Komori; Misao Nagayama (J. Symb. Log., 2000)

A Simplified Proof of the Church-Rosser Theorem. - Yuichi Komori; Naosuke Matsuda; Fumika Yamakawa (Stud Logica, 2014)

Detection of continuous barking actions from search and rescue dogs' activities data. - Yuichi Komori; Kazuaki Ohno; Takuaki Fujieda; Takahiro Suzuki; Satoshi Tadokoro (IROS, 2015)

Reduction Rules for Intuitionistic λρ-calculus. - Ken-etsu Fujita; Ryo Kashima; Yuichi Komori; Naosuke Matsuda (Stud Logica, 2015)