On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger - Mathematical logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2004-11-15 14:07:24 Deduction Propositional calculus Natural deduction Cut-elimination theorem Entailment Sequent calculus Linear logic Curry–Howard correspondence Logic Mathematical logic Proof theory		On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger Add to Reading List Source URL: www.loria.fr Download Document from Source Website File Size: 231,86 KB Share Document on Facebook

	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 DocID: 1regS - View Document
	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany DocID: 1r1sv - View Document
	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, 2009 DocID: 1qJXe - View Document
	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.fr DocID: 1qvQb - View Document
	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.fr DocID: 1pwE3 - View Document