Kazushige Terui

Available identifiers

zbMath Open terui.kazushigeMaRDI QIDQ271691

List of research outcomes

Publication	Date of Publication	Type
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics	2022-05-28	Paper
Semantic evaluation; intersection types and complexity of simply typed lambda calculus	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
On the computational complexity of cut-elimination in linear logic.	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

This page was built for person: Kazushige Terui