| |
| 2000 | ||
|---|---|---|
| 5 | Sachio Hirokawa, Yuichi Komori, Misao Nagayama: A Lambda Proof of The P-W Theorem. J. Symb. Log. 65(4): 1841-1849 (2000) | |
| 1996 | ||
| 4 | Sachio Hirokawa, Yuichi Komori, Izumi Takeuti: A reduction rule for Peirce formula. Studia Logica 56(3): 419-426 (1996) | |
| 1994 | ||
| 3 | Yuichi Komori: Syntactical investigations into BI logic and BB'I logic. Studia Logica 53(3): 397-416 (1994) | |
| 1993 | ||
| 2 | Yuichi Komori, Sachio Hirokawa: The Number of Proofs for a BCK-Formula. J. Symb. Log. 58(2): 626-628 (1993) | |
| 1985 | ||
| 1 | Hiroakira Ono, Yuichi Komori: Logics Without the Contraction Rule. J. Symb. Log. 50(1): 169-201 (1985) | |
| 1 | Sachio Hirokawa | [2] [4] [5] |
| 2 | Misao Nagayama | [5] |
| 3 | Hiroakira Ono | [1] |
| 4 | Izumi Takeuti | [4] |