 | 2008 |
|---|
| 12 |       | Kentaro Kikuchi,
Stéphane Lengrand:
Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.
FoSSaCS 2008: 380-394 |
| 11 | | Kentaro Kikuchi:
Call-by-name reduction and cut-elimination in classical logic.
Ann. Pure Appl. Logic 153(1-3): 38-65 (2008) |
| 2007 |
|---|
| 10 | | Kentaro Kikuchi:
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.
CiE 2007: 398-407 |
| 9 | | Kentaro Kikuchi:
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.
RTA 2007: 257-272 |
| 8 | | Ryo Ishigaki,
Kentaro Kikuchi:
Tree-Sequent Methods for Subintuitionistic Predicate Logics.
TABLEAUX 2007: 149-164 |
| 7 | | 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) |
| 2006 |
|---|
| 6 | | Kentaro Kikuchi:
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.
LPAR 2006: 120-134 |
| 2004 |
|---|
| 5 | | Kentaro Kikuchi:
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.
FLOPS 2004: 244-259 |
| 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 | | Kentaro Kikuchi:
Dual-Context Sequent Calculus and Strict Implication.
Math. Log. Q. 48(1): 87-92 (2002) |
| 2001 |
|---|
| 2 | | Katsumasa Ishii,
Ryo Kashima,
Kentaro Kikuchi:
Sequent Calculi for Visser's Propositional Logics.
Notre Dame Journal of Formal Logic 42(1): 1-22 (2001) |
| 2000 |
|---|
| 1 | | Koichi Konishi,
Kentaro Kikuchi,
Hideki Kawai,
Kunihiko Kojima,
Ken'ichi Ohmachi,
Susumu Akamine,
Toshikazu Fukushima:
Chained Declustering using Multiple Conventional Filesystems.
CLUSTER 2000: 381-382 |
