Back to Results
First PageMeta Content
Mathematics / Sequent calculus / Intuitionistic logic / Cut-elimination theorem / Interpretation / Sequent / Structural rule / Propositional calculus / Linear logic / Logic / Mathematical logic / Proof theory


June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1
Add to Reading List

Document Date: 2009-06-23 06:51:18

Open Document

File Size: 262,05 KB

Share Result on Facebook

City

Wien / /

Company

AOn / /

Country

France / Austria / /

Currency

pence / /

Facility

With MALL / Kyoto University / /

IndustryTerm

deductive systems / logics deductive systems / proof search / /

OperatingSystem

Sequent / /

Organization

Kyoto University / /

Person

Lutz Straßburger / Ai / Am / Agata Ciabattoni / Kazushige Terui / /

ProgrammingLanguage

L / /

ProvinceOrState

Georgia / /

SocialTag