Back to Results
First PageMeta Content
Logic / Proof theory / Set theory / Ordinal arithmetic / Curry–Howard correspondence / Mathematical logic / Mathematics / Ordinal numbers


General-Elimination Harmony and Higher-Level Rules∗ Stephen Read University of St Andrews September 5, 2013
Add to Reading List

Document Date: 2013-09-05 16:41:53

Open Document

File Size: 289,11 KB

Share Result on Facebook

City

Bristol / /

Company

Tennant / GE / /

Country

United Kingdom / /

Facility

Higher-Level Rules∗ Stephen Read University of St Andrews September / /

IndustryTerm

empty product / possible solution / /

Organization

General-Elimination Harmony and Higher-Level Rules∗ Stephen Read University of St Andrews / Arts and Humanities Research Council / /

Person

Dag Prawitz / Arthur Prior / Heinrich Wansing / John Mayberry / Michael Dummett / Gerhard Gentzen / Paul Lorenzen / /

RadioStation

6 What / /

SocialTag