Kentaro Kikuchi

kentaro

Research Interests

• Theory of Programming Languages
• Nonclassical Logics

Publications

• Kentaro Kikuchi: Call-by-Name Reduction and Cut-Elimination in Classical Logic, Annals of Pure and Applied Logic, Vol.153, No.1-3, pp.38-65, 2008.
• Kentaro Kikuchi and Stéphane Lengrand: Strong Normalisation of Cut-Elimination that Simulates β-Reduction, in Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008), LNCS 4962, pp.380-394, 2008. (A long version is available from here.)
• Ryo Ishigaki and Kentaro Kikuchi: Tree-Sequent Methods for Subintuitionistic Predicate Logics, in Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), LNAI 4548, pp.149-164, 2007. (full version)
• Kentaro Kikuchi: Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi, in Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA 2007), LNCS 4533, pp.257-272, 2007. (full version)
• Kentaro Kikuchi: Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus, in Proceedings of the 3rd Conference on Computability in Europe (CiE 2007), LNCS 4497, pp.398-407, 2007. (full version)
• Ryo Ishigaki and Kentaro Kikuchi: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic, Logic Journal of the Interest Group in Pure and Applied Logics, Vol.15, No.2, pp.149-164, 2007.
• Kentaro Kikuchi: On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus, in Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2006), LNAI 4246, pp.120-134, 2006. (full version)
• Kentaro Kikuchi: Call-by-Name Reduction and Cut-Elimination in Classical Logic, in Proceedings of the 1st International Workshop on Classical Logic and Computation (CL&C 2006), 2006. (full version)
• Kentaro Kikuchi: A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus, in Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS 2998, pp.244-259, 2004. (full version)
• Kentaro Kikuchi and Katsumi Sasaki: A Cut-Free Gentzen Formulation of Basic Propositional Calculus, Journal of Logic, Language and Information, Vol.12, No.2, pp.213-225, 2003.
• Kentaro Kikuchi: Dual-Context Sequent Calculus and Strict Implication, Mathematical Logic Quarterly, Vol.48, No.1, pp.87-92, 2002.
• Kentaro Kikuchi: Relationships between Basic Propositional Calculus and Substructural Logics, Bulletin of the Section of Logic, Vol.30, No.1, pp.15-20, 2001.
• Katsumasa Ishii, Ryo Kashima and Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics, Notre Dame Journal of Formal Logic, Vol.42, No.1, pp.1-22, 2001.