Proof Theory of Classical Logic
- January 22, 2008
- Propositional Gentzen Calculus,
pt0122_hnd.pdf
- January 25, 2008
- Predicate Gentzen Calculus,
pt0125_hnd.pdf
- January 29, 2008
- Steps in Cut Elimination,
pt0129_hnd.pdf
- February 1, 2008
- The Cut-Eliminability Theorem,
pt0201_hnd.pdf
- February 5, 2008
- Pudlak's Exponential Arithmetic,
pt0205_hnd.pdf
- February 8, 2008
- Minimal Depth of a Cut-Free Proof,
pt0208_hnd.pdf
- February 12, 2008
- -- we do not meet this day
- February 15, 2008
- A Much Shorter Proof Containing Cuts,
pt0215_hnd.pdf
|