Constructive Logics. Part II: Linear Logic and Proof Nets Jean Gallier May...  Home/Search
Context
Related
| digital.fr/pub/DEC/PRL/...PRLRR9.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math....ftp.digital.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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