![Sequent calculus / Entailment / Ω-consistent theory / Sequent / Cut-elimination theorem / First-order logic / Structure / Linear logic / Natural deduction / Logic / Mathematical logic / Proof theory Sequent calculus / Entailment / Ω-consistent theory / Sequent / Cut-elimination theorem / First-order logic / Structure / Linear logic / Natural deduction / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/beec9baeb96af166581c62d967104661.jpg) Date: 2009-03-02 09:38:29Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory | | 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 ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 328,20 KBShare Document on Facebook
|