Back to Results
First PageMeta Content
Mathematics / Natural deduction / Cut-elimination theorem / Propositional calculus / Sequent calculus / Combinatory logic / Linear logic / Closed and exact differential forms / Admissible rule / Mathematical logic / Logic / Proof theory


May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger
Add to Reading List

Document Date: 2014-05-20 13:23:34

Open Document

File Size: 370,48 KB

Share Result on Facebook

City

Vienna / Dresden / /

Country

France / Austria / Denmark / /

Currency

pence / USD / /

/

Facility

building D0 / Intuitionistic Logic Nicolas Guenot Lutz Straßburger IT University of Copenhagen / /

IndustryTerm

deep inference systems / local proof systems / deductive systems / proof systems / intuitionistic systems / /

OperatingSystem

Sequent / /

Organization

Danish Council for Strategic Research / United Nations / University of Copenhagen / Ecole Polytechnique / /

Person

Alessio Guglielmi / Lutz Straßburger / Kai Br¨unnler / /

Position

Proof Theory General / editor / head / /

PublishedMedium

Theoretical Computer Science / /

URL

http /

SocialTag