The following pages link to Kentaro Kikuchi (Q1409299):
Displaying 22 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)
- (Q4438126) (← links)
- Confluence of orthogonal nominal rewriting systems revisited (Q5277887) (← links)
- Functional and Logic Programming (Q5308025) (← links)
- On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus (Q5387888) (← links)
- Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus (Q5425341) (← links)
- Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (Q5432345) (← links)
- Tree-Sequent Methods for Subintuitionistic Predicate Logics (Q5434487) (← links)
- A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic (Q5435200) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- (Q6187069) (← links)
