January 5, 2009 — Submitted — 15 pages paper 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ - Natural deduction - Document - PDFSEARCH.IO

First Page	Meta Content
	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Document Date: 2009-03-02 09:38:29 Open Document File Size: 328,20 KB Share Result on Facebook Company Let us / / Country France / / IndustryTerm rule applications / deductive systems / / OperatingSystem Sequent / / Organization Ecole Polytechnique / / TVShow Definition 4 / / URL www.lix.polytechnique.fr/˜lutz / / SocialTag Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic

January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´Add to Reading List