Kazushige Terui

Available identifiers

zbMath Open terui.kazushigeMaRDI QIDQ271691

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5079762	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5111914	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5369470	2017-10-17	Paper
Algebraic proof theory: hypersequents and hypercompletions	2016-12-23	Paper
From Focalization of Logic to the Logic of Focalization	2016-07-08	Paper
Densification of FL chains via residuated frames	2016-04-07	Paper
Parsimonious Types and Non-uniform Computation	2015-11-04	Paper
Algebraic proof theory for substructural logics: cut-elimination and completions	2012-04-13	Paper
MacNeille completions of FL-algebras	2011-12-14	Paper
Disjunction property and complexity of substructural logics	2011-07-18	Paper
Computational ludics	2011-05-10	Paper
On the meaning of logical completeness	2011-03-08	Paper
On the Meaning of Focalization	2011-03-04	Paper
Theoretical Computer Science	2010-02-23	Paper
Expanding the Realm of Systematic Proof Theory	2009-11-12	Paper
On the Meaning of Logical Completeness	2009-07-07	Paper
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic	2009-03-12	Paper
Light types for polynomial time computation in lambda calculus	2009-03-02	Paper
Modular Cut-Elimination: Finding Proofs or Counterexamples	2008-05-27	Paper
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic	2008-04-01	Paper
Which structural rules admit cut elimination? An algebraic criterion	2007-10-17	Paper
Light affine lambda calculus and polynomial time strong normalization	2007-04-19	Paper
Intuitionistic phase semantics is almost classical	2006-05-22	Paper
Towards a semantic characterization of cut-elimination	2006-03-17	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Light affine set theory: A naive set theory of polynomial time	2004-08-16	Paper
The finite model property for various fragments of intuitionistic linear logic	2000-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4703047	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4252643	1999-11-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kazushige Terui