Back to Results
First PageMeta Content
Mathematical logic / Proof theory / Natural deduction / Entailment / Function / Curry–Howard correspondence / Orbifold / Logic / Mathematics / Deduction


Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant
Add to Reading List

Document Date: 2013-02-21 08:17:51

Open Document

File Size: 317,94 KB

Share Result on Facebook

Facility

University of Notre Dame / /

IndustryTerm

proof search methods / /

Organization

University of Notre Dame / Γ2 / Γ1 / /

Person

Ai / Gilles Dowek / Olivier Hermant / /

Position

hB / /

ProvinceOrState

Montana / /

SocialTag