×
Compute Distance To:
Author ID: kikuchi.kentaro Recent zbMATH articles by "Kikuchi, Kentaro"
Published as: Kikuchi, Kentaro
Documents Indexed: 22 Publications since 2001
Co-Authors: 13 Co-Authors with 13 Joint Publications
67 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 23 times in 16 Documents Cited by Year
Confluence of orthogonal nominal rewriting systems revisited. Zbl 1366.68128
Suzuki, Takaki; Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito
6
2015
Nominal confluence tool. Zbl 1476.68298
Aoto, Takahito; Kikuchi, Kentaro
2
2016
A translation of intersection and union types for the \(\lambda \mu\)-calculus. Zbl 1453.68037
Kikuchi, Kentaro; Sakurai, Takafumi
2
2014
Tree-sequent methods for subintuitionistic predicate logics. Zbl 1132.03312
Ishigaki, Ryo; Kikuchi, Kentaro
2
2007
On a local-step cut-elimination procedure for the intuitionistic sequent calculus. Zbl 1165.03345
Kikuchi, Kentaro
2
2006
Parallel closure theorem for left-linear nominal rewriting systems. Zbl 06821630
Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito
2
2017
Relationships between basic propositional calculus and substructural logics. Zbl 1040.03507
Kikuchi, Kentaro
1
2001
A cut-free Gentzen formulation of basic propositional calculus. Zbl 1016.03056
Kikuchi, Kentaro; Sasaki, Katsumi
1
2003
Sequent calculi for Visser’s propositional logics. Zbl 1023.03054
Ishii, Katsumasa; Kashima, Ryo; Kikuchi, Kentaro
1
2001
A tree-sequent calculus for a natural predicate extension of Visser’s propositional logic. Zbl 1128.03004
Ishigaki, Ryo; Kikuchi, Kentaro
1
2007
Call-by-name reduction and cut-elimination in classical logic. Zbl 1136.03036
Kikuchi, Kentaro
1
2008
Simple proofs of characterizing strong normalization for explicit substitution calculi. Zbl 1203.68076
Kikuchi, Kentaro
1
2007
Rheotaxis and migration of an unsteady microswimmer. Zbl 1477.76122
Omori, T.; Kikuchi, K.; Schmitz, M.; Pavlovic, M.; Chuang, C.-H.; Ishikawa, T.
1
2022
Rheotaxis and migration of an unsteady microswimmer. Zbl 1477.76122
Omori, T.; Kikuchi, K.; Schmitz, M.; Pavlovic, M.; Chuang, C.-H.; Ishikawa, T.
1
2022
Parallel closure theorem for left-linear nominal rewriting systems. Zbl 06821630
Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito
2
2017
Nominal confluence tool. Zbl 1476.68298
Aoto, Takahito; Kikuchi, Kentaro
2
2016
Confluence of orthogonal nominal rewriting systems revisited. Zbl 1366.68128
Suzuki, Takaki; Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito
6
2015
A translation of intersection and union types for the \(\lambda \mu\)-calculus. Zbl 1453.68037
Kikuchi, Kentaro; Sakurai, Takafumi
2
2014
Call-by-name reduction and cut-elimination in classical logic. Zbl 1136.03036
Kikuchi, Kentaro
1
2008
Tree-sequent methods for subintuitionistic predicate logics. Zbl 1132.03312
Ishigaki, Ryo; Kikuchi, Kentaro
2
2007
A tree-sequent calculus for a natural predicate extension of Visser’s propositional logic. Zbl 1128.03004
Ishigaki, Ryo; Kikuchi, Kentaro
1
2007
Simple proofs of characterizing strong normalization for explicit substitution calculi. Zbl 1203.68076
Kikuchi, Kentaro
1
2007
On a local-step cut-elimination procedure for the intuitionistic sequent calculus. Zbl 1165.03345
Kikuchi, Kentaro
2
2006
A cut-free Gentzen formulation of basic propositional calculus. Zbl 1016.03056
Kikuchi, Kentaro; Sasaki, Katsumi
1
2003
Relationships between basic propositional calculus and substructural logics. Zbl 1040.03507
Kikuchi, Kentaro
1
2001
Sequent calculi for Visser’s propositional logics. Zbl 1023.03054
Ishii, Katsumasa; Kashima, Ryo; Kikuchi, Kentaro
1
2001

Citations by Year