| |
| 2003 | ||
|---|---|---|
| 4 | Kentaro Kikuchi, Katsumi Sasaki: A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12(2): 213-225 (2003) | |
| 2002 | ||
| 3 | Katsumi Sasaki: A Cut-Free Sequent System for the Smallest Interpretability Logic. Studia Logica 70(3): 353-372 (2002) | |
| 1999 | ||
| 2 | EE | Katsumi Sasaki: Formalizations for the Consequence Relation of Visser's Propositional Logic. Reports on Mathematical Logic 33: 65-78 (1999) |
| 1993 | ||
| 1 | Katsumi Sasaki: The simple substitution property of the intermediate propositional logics on finite slices. Studia Logica 52(1): 41-62 (1993) | |
| 1 | Kentaro Kikuchi | [4] |