By Jean-Yves Girard, Yves Lafont, Laurent Regnier

ISBN-10: 0521559618

ISBN-13: 9780521559614

This quantity provides an outline of linear good judgment in 5 elements: type idea; complexity and expressivity; evidence conception; facts nets; and the geometry of interplay. The ebook features a normal advent to linear good judgment that may determine this book's use by way of the beginner in addition to the specialist. Mathematicians and machine scientists will study a lot from this e-book.

Show description

Read or Download Advances in linear logic PDF

Similar mathematics books

Download e-book for iPad: Several complex variables and integral formulas by Kenzo Adachi

This quantity is an introductory textual content in numerous advanced variables, utilizing tools of indispensable representations and Hilbert house concept. It investigates usually the reports of the estimate of strategies of the Cauchy Riemann equations in pseudoconvex domain names and the extension of holomorphic features in submanifolds of pseudoconvex domain names which have been constructed within the final 50 years.

EGA IV 4: Etude locale des schemas et des morphismes de by Jean Dieudonne, A. Grothendieck PDF

Eight. five x eleven hardcover - in EGA sequence - textual content in French

Additional info for Advances in linear logic

Example text

Linear logic. Theoretical Computer Science, 50:1-102, 1987. -Y. Girard. A new constructive logic : classical logic. Mathematical structures in Computer Science, 1:255-296, 1991. -Y. Girard. On the unity of logic. Annals of Pure and Applied Logic, 59:201-217, 1993. -Y. Girard. Geometry of interaction III : accommodating the additives. In this volume, 1995. -Y. Girard. Light linear logic. in preparation, 1995. -Y. Girard. Proof-nets : the parallel syntax for proof-theory. In Logic and Algebra, New York, 1995.

The move to multisets is a consequence of recent progress on classical logic [12] for which this replacement has deep consequences. But as far as linear and intuitionistic logic are concerned, we can work with sets, and this is what will be assumed here. In particular M(X) will be replaced by the monoid of finite subsets of X, and sum will be replaced by union. X will be the set _Xfin of all finite cliques of X. if aeX then F(a) c: Y, 2. assume that a = U bi, where bi is directed with respect to inclusion, then F(a) = U F(bi), 3.

Deciding provability of linear logic fragments. In this volume, 1995. [25] P. C. C. Shankar, and A. Scedrov. Decision problems for propositional linear logic. In Proceedings of 31st IEEE symposium on foundations of computer science, volume 2, pages 662-671. IEEE Computer Society Press, 1990. [26] Laurent Regnier. Lambda-Calcul et Reseaux. These de doctorat, Universite Paris 7, 1992. N. Yetter. Quantales and non-commutative linear logic. Journal of Symbolic Logic, 55:41-64, 1990. Bilinear logic in algebra and linguistics o) J.

Download PDF sample

Advances in linear logic by Jean-Yves Girard, Yves Lafont, Laurent Regnier

by Kenneth

Rated 4.94 of 5 – based on 41 votes