The following pages link to Kentaro Kikuchi (Q1409299):
Displaying 14 items.
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- Parallel closure theorem for left-linear nominal rewriting systems (Q1687545) (← links)
- A cut-free Gentzen formulation of basic propositional calculus (Q1868483) (← links)
- Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
- A proof method for local sufficient completeness of term rewriting systems (Q2119990) (← links)
- Semi-analytical solution for consumption and investment problem under quadratic security market model with inflation risk (Q2155561) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- (Q2776812) (← links)
- A Translation of Intersection and Union Types for the λμ-Calculus (Q2789043) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. (Q2958535) (← links)
- Confluence of orthogonal nominal rewriting systems revisited (Q5277887) (← links)
- A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic (Q5435200) (← links)
- (Q6187069) (← links)
