See this document in CiteSeerX!

Digital Equipment Corporation 1991  (Make Corrections)  
Constructive Logics. Part II: Linear Logic and Proof Nets Jean Gallier May...



  Home/Search   Context   Related

 
View or download:
digital.fr/pub/DEC/PRL/...PRLRR9.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  fermivista.math....ftp.digital.fr (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The purpose of this paper is to give an exposition of material dealing with constructive logics, typed -calculi, and linear logic. The first part of this paper gives an exposition of background material (with the exception of the Girard-translation of classical logic into intuitionistic logic, which is new). This second part is devoted to linear logic and proof nets. Particular attention is given to the algebraic semantics (in Girard's terminology, phase semantics) of linear logic. We show how... (Update)

Similar documents (at the sentence level):
59.4%:   Constructive Logics. Part II: Linear Logic and Proof Nets - Gallier (1997)   (Correct)

Active bibliography (related documents):   More   All
0.3:   A Brief Guide to Linear Logic - Scedrov (1993)   (Correct)
0.2:   Temporal Linear Logic and Its Applications - Hirai (2000)   (Correct)
0.1:   Ordered Linear Logic Programming - Polakow, Pfenning (1998)   (Correct)

Similar documents based on text:   More   All
0.2:   Constructive Logics. Part I: A Tutorial on Proof Systems and.. - Gallier (2003)   (Correct)
0.0:   Team Incentives and Organizational Form - Slivinski (2000)   (Correct)
0.0:   Preferences as Inconsistency-resolvers: the.. - Vanackere   (Correct)

BibTeX entry:   (Update)

@misc{ may-digital,
  author = "This Work May",
  title = "Digital Equipment Corporation 1991",
  url = "citeseer.ist.psu.edu/338822.html" }
Citations (may not include all citations):
982   Theoretical Computer Science (context) - Girard - 1987
236   Categories for the Working Mathematician (context) - MacLane - 1971
125   American Mathematical Society (context) - Birkhoff, Colloquium et al. - 1979
96   Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1990
83   volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
72   Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
28   The semantics and proof theory of linear logic - Avron - 1988
15   Some syntactical observations on linear logic (context) - Schellinx - 1990
11   La Logique Lineaire appliquee a l'etude de divers processus .. (context) - Danos - 1990
6   Sequent calculus for intuitionistic linear propositional log.. (context) - Abrusci - 1990
5   Phase structures and quantales -- a semantical study of logi.. (context) - Ono - 1990

Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.digital.fr.html):   More
Fast Implementations of RSA Cryptography - Shand, Vuillemin (1993)   (Correct)
Counting Minimum Weight Spanning Trees - Broder, Mayr   (Correct)
Report on the Larch Shared Language Version 2.3 - Guttag, Horning, Modet (1993)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC