David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1995)
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.
|Keywords||Logic, Symbolic and mathematical Congresses|
|Categories||categorize this paper)|
|Buy the book||$36.09 used (69% off) $100.57 new (13% off) $114.99 direct from Amazon Amazon page|
|Call number||QA9.A1.L56 1995|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
Andreas Blass, Questions and Answers–a Category Arising in Linear Logic, Complexity Theory, and Set Theory.
Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx, LKQ and LKT: Sequent Calculi for Second Order Logic Based Upon Dual Linear Decompositions of Classical Implication.
Jacqueline Vauzeilles & Christophe Fouqueré, Inheritance with Exceptions: An Attempt at Formalization with Linear Connectives in Unified Logic.
References found in this work BETA
No references found.
Citations of this work BETA
Anthony Everett (1996). A Dilemma for Priest's Dialethism? Australasian Journal of Philosophy 74 (4):657 – 668.
Similar books and articles
Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Misao Nagayama & Mitsuhiro Okada (2001). A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics. Journal of Symbolic Logic 66 (4):1524-1542.
Dirk Roorda (1994). Interpolation in Fragments of Classical Linear Logic. Journal of Symbolic Logic 59 (2):419-444.
David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223 - 235.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
Thomas Ehrhard (2004). A Completeness Theorem for Symmetric Product Phase Spaces. Journal of Symbolic Logic 69 (2):340 - 370.
Arnon Avron (1988). The Semantics and Proof Theory of Linear Logic. Theoretical Computer Science 57:161-184.
Added to index2009-01-28
Total downloads12 ( #200,185 of 1,724,750 )
Recent downloads (6 months)1 ( #349,121 of 1,724,750 )
How can I increase my downloads?