Yuichi Komori

According to our database, Yuichi Komori authored at least 10 papers between 1985 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Reduction Rules for Intuitionistic λρ-calculus.

Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda

Stud Logica, 2015

Detection of continuous barking actions from search and rescue dogs' activities data.

Yuichi Komori, Kazuaki Ohno, Takuaki Fujieda, Takahiro Suzuki, Satoshi Tadokoro

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014

A Simplified Proof of the Church-Rosser Theorem.

Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa

Stud Logica, 2014

2000

A Lambda Proof of The P-W Theorem.

Sachio Hirokawa, Yuichi Komori, Misao Nagayama

J. Symb. Log., 2000

1996

A reduction rule for Peirce formula.

Sachio Hirokawa, Yuichi Komori, Izumi Takeuti

Stud Logica, 1996

1994

Syntactical investigations into BI logic and BB'I logic.

Yuichi Komori

Stud Logica, 1994

1993

The Number of Proofs for a BCK-Formula.

Yuichi Komori, Sachio Hirokawa

J. Symb. Log., 1993

1986

Predicate logics without the structure rules.

Yuichi Komori

Stud Logica, 1986

A new semantics for intuitionistic predicate logic.

Yuichi Komori

Stud Logica, 1986

1985

Logics Without the Contraction Rule.

Hiroakira Ono, Yuichi Komori

J. Symb. Log., 1985