![Proof theory / Non-classical logic / Model theory / Philosophical logic / Deductive reasoning / Sequent / Cut-elimination theorem / Soundness / Linear logic / Propositional calculus / First-order logic / Rule of inference Proof theory / Non-classical logic / Model theory / Philosophical logic / Deductive reasoning / Sequent / Cut-elimination theorem / Soundness / Linear logic / Propositional calculus / First-order logic / Rule of inference](https://www.pdfsearch.io/img/dfa2eb147c87fa9b5f0d33f6f7f6b9c3.jpg) Date: 2016-01-11 07:50:10Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference | | Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.frAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 403,21 KBShare Document on Facebook
|