Back to Results
First PageMeta Content
Logic / Mathematical logic / Proof theory / Abstraction / Non-classical logic / Sequent / NC / Linear logic / Constructible universe / CurryHoward correspondence / Natural deduction


Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions
Add to Reading List

Document Date: 2005-05-20 05:14:15


Open Document

File Size: 71,87 KB

Share Result on Facebook