First Page | Document Content | |
---|---|---|
Date: 2009-06-25 08:22:18Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference | From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source WebsiteFile Size: 450,19 KBShare Document on Facebook |