| |
| 2003 | ||
|---|---|---|
| 3 | EE | Katsumasa Ishii: A note on the first incompleteness theorem. Math. Log. Q. 49(2): 214-216 (2003) |
| 2 | EE | Katsumasa Ishii: New sequent calculi for Visser's Formal Propositional Logic. Math. Log. Q. 49(5): 525-535 (2003) |
| 2001 | ||
| 1 | Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42(1): 1-22 (2001) | |
| 1 | Ryo Kashima | [1] |
| 2 | Kentaro Kikuchi | [1] |