Kazushige Terui

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 5

Top Topics

Lambda Calculus

Nonmonotonic Reasoning

Association Rules

Top Venues

Ann. Pure Appl. Log.

Publications

Kazushige Terui
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. CSL (2018)
Kazushige Terui
MacNeille completion and Buchholz' Omega rule for parameter-free second order logics. CoRR (2018)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168 (3) (2017)
Ryota Akiyoshi, Kazushige Terui
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. FSCD (2016)
Damiano Mazza, Kazushige Terui
Parsimonious Types and Non-uniform Computation. ICALP (2) (2015)
Kazushige Terui
Intersection Types for Normalization and Verification (Invited Talk). FSTTCS (2013)
Kazushige Terui
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus. RTA (2012)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. 163 (3) (2012)
Kazushige Terui
Proof Theory and Algebra in Substructural Logics. TABLEAUX (2011)
Kazushige Terui
Computational ludics. Theor. Comput. Sci. 412 (20) (2011)
Rostislav Horcík, Kazushige Terui
Disjunction property and complexity of substructural logics. Theor. Comput. Sci. 412 (31) (2011)
Michele Basaldella, Alexis Saurin, Kazushige Terui
From Focalization of Logic to the Logic of Focalization. MFPS (2010)
Michele Basaldella, Kazushige Terui
On the meaning of logical completeness Log. Methods Comput. Sci. 6 (4) (2010)
Michele Basaldella, Kazushige Terui
Infinitary Completeness in Ludics. LICS (2010)
Aloïs Brunel, Kazushige Terui
Church => Scott = Ptime: an application of resource sensitive realizability DICE (2010)
Michele Basaldella, Kazushige Terui
On the Meaning of Logical Completeness. TLCA (2009)
Patrick Baillot, Kazushige Terui
Light types for polynomial time computation in lambda calculus. Inf. Comput. 207 (1) (2009)
Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
Expanding the Realm of Systematic Proof Theory. CSL (2009)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
From Axioms to Analytic Rules in Nonclassical Logics. LICS (2008)
Kazushige Terui
Light affine lambda calculus and polynomial time strong normalization. Arch. Math. Log. 46 (3-4) (2007)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic CoRR (2007)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. Log. Methods Comput. Sci. 3 (4) (2007)
Kazushige Terui
Which structural rules admit cut elimination? An algebraic criterion. J. Symb. Log. 72 (3) (2007)
Max I. Kanovich, Mitsuhiro Okada, Kazushige Terui
Intuitionistic phase semantics is almost classical. Math. Struct. Comput. Sci. 16 (1) (2006)
Agata Ciabattoni, Kazushige Terui
Towards a Semantic Characterization of Cut-Elimination. Stud Logica 82 (1) (2006)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. CSL (2006)
Agata Ciabattoni, Kazushige Terui
Modular Cut-Elimination: Finding Proofs or Counterexamples. LPAR (2006)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic CoRR (2006)
Patrick Baillot, Kazushige Terui
A Feasible Algorithm for Typing in Elementary Affine Logic. TLCA (2005)
Kazushige Terui
Light Affine Set Theory: A Naive Set Theory of Polynomial Time. Stud Logica 77 (1) (2004)
Kazushige Terui
Proof Nets and Boolean Circuits. LICS (2004)
Patrick Baillot, Kazushige Terui
Light Types for Polynomial Time Computation in Lambda-Calculus. LICS (2004)
Patrick Baillot, Kazushige Terui
A feasible algorithm for typing in Elementary Affine Logic CoRR (2004)
Patrick Baillot, Kazushige Terui
Light types for polynomial time computation in lambda-calculus CoRR (2004)
Harry G. Mairson, Kazushige Terui
On the Computational Complexity of Cut-Elimination in Linear Logic. ICTCS (2003)
Kazushige Terui
Light Affine Calculus and Polytime Strong Normalization. LICS (2001)
Mitsuhiro Okada, Kazushige Terui
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. J. Symb. Log. 64 (2) (1999)