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
|