![Logic / Proof theory / Mathematical logic / Sequent / Linear logic / Cut-elimination theorem / Noncommutative logic / Rule of inference / Soundness / Natural deduction / CurryHoward correspondence Logic / Proof theory / Mathematical logic / Sequent / Linear logic / Cut-elimination theorem / Noncommutative logic / Rule of inference / Soundness / Natural deduction / CurryHoward correspondence](https://www.pdfsearch.io/img/db31f1bcc25bcd0f90a040a8b1d3f3b0.jpg) Date: 2011-06-22 07:54:11Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence | | The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.frAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 1.020,57 KBShare Document on Facebook
|