| |
| 2008 | ||
|---|---|---|
| 3 | EE | Ryo Ishigaki, Ryo Kashima: Sequent Calculi for Some Strict Implication Logics. Logic Journal of the IGPL 16(2): 155-174 (2008) |
| 2007 | ||
| 2 | EE | Ryo Ishigaki, Kentaro Kikuchi: Tree-Sequent Methods for Subintuitionistic Predicate Logics. TABLEAUX 2007: 149-164 |
| 1 | EE | Ryo Ishigaki, Kentaro Kikuchi: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. Logic Journal of the IGPL 15(2): 149-164 (2007) |
| 1 | Ryo Kashima | [3] |
| 2 | Kentaro Kikuchi | [1] [2] |