Concepedia

Kazushige Terui

KT

19

Publications

757

Citations

16

H-Index

1999

Active since

Affiliations

Kyoto University(Current)

National Institute of Informatics

University of Denver

Centre National de la Recherche Scientifique

Kazushige Terui is an author at Kyoto University specializing in engineering, automated reasoning, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationComputational ComplexitySemanticsLanguageProof ComplexityFuzzy Logic

Publications per year

1999–2016

19

Publications

19

From Axioms to Analytic Rules in Nonclassical Logics

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Proceedings - Symposium on Logic in Computer Science · 2008 · 120 citations

Engineering, Classical Logic, Analytic Calculi +16

The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui · Journal of Symbolic Logic · 1999 · 88 citations

Intuitionistic Logic, Non-classical Logic, Fuzzy Logic +14

Algebraic proof theory for substructural logics: Cut-elimination and completions

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Annals of Pure and Applied Logic · 2011 · 77 citations

Engineering, Substructural Logic, Automated Reasoning +4

Light types for polynomial time computation in lambda calculus

Patrick Baillot, Kazushige Terui · Information and Computation · 2008 · 60 citations

Type Theory, Lambda Calculus, Light Types +1

Light Affine Set Theory: A Naive Set Theory of Polynomial Time

Kazushige Terui · Studia Logica · 2004 · 55 citations

Theoretical Mathematics, Finite Geometry, Geometry +5

Rows per page

1–5 of 19