Kikuchi, Kentaro Call-by-name reduction and cut-elimination in classical logic. (English) Zbl 1136.03036 Ann. Pure Appl. Logic 153, No. 1-3, 38-65 (2008). MSC: 03F05 03B05 03B40 03B70 PDFBibTeX XMLCite \textit{K. Kikuchi}, Ann. Pure Appl. Logic 153, No. 1--3, 38--65 (2008; Zbl 1136.03036) Full Text: DOI
Ishigaki, Ryo; Kikuchi, Kentaro A tree-sequent calculus for a natural predicate extension of Visser’s propositional logic. (English) Zbl 1128.03004 Log. J. IGPL 15, No. 2, 149-164 (2007). MSC: 03B20 PDFBibTeX XMLCite \textit{R. Ishigaki} and \textit{K. Kikuchi}, Log. J. IGPL 15, No. 2, 149--164 (2007; Zbl 1128.03004) Full Text: DOI
Kikuchi, Kentaro Confluence of cut-elimination procedures for the intuitionistic sequent calculus. (English) Zbl 1150.03337 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 398-407 (2007). MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{K. Kikuchi}, Lect. Notes Comput. Sci. 4497, 398--407 (2007; Zbl 1150.03337) Full Text: DOI
Kikuchi, Kentaro Dual-context sequent calculus and strict implication. (English) Zbl 0988.03085 Math. Log. Q. 48, No. 1, 87-92 (2002). MSC: 03F05 03B20 03C90 PDFBibTeX XMLCite \textit{K. Kikuchi}, Math. Log. Q. 48, No. 1, 87--92 (2002; Zbl 0988.03085) Full Text: DOI
Ishii, Katsumasa; Kashima, Ryo; Kikuchi, Kentaro Sequent calculi for Visser’s propositional logics. (English) Zbl 1023.03054 Notre Dame J. Formal Logic 42, No. 1, 1-22 (2001). MSC: 03F05 03B05 PDFBibTeX XMLCite \textit{K. Ishii} et al., Notre Dame J. Formal Logic 42, No. 1, 1--22 (2001; Zbl 1023.03054) Full Text: DOI