Olivier Laurent  Home/Search
Context
Related
| iml.univmrs.fr/ftp/olau...tlca99.ps.gz 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: iml.univmrs.fr/~olaurent/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Olivier Laurent Institut de Math'ematiques de Luminy CNRS-Marseille, France olaurent@iml.univ-mrs.fr Abstract. We define a notion of polarization in linear logic (LL) coming from the polarities of Jean-Yves Girard's classical sequent calculus LC [4]. This allows us to define a translation between the two systems. Then we study the application of this polarization constraint to proofnets for full linear logic described in [7]. This yields an important simplification of the... (Update)
Active bibliography (related documents): More All
0.3: Reversible, Irreversible and Optimal ...-machines - Danos, Regnier (Correct)
0.3: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
0.2: Obsessional experiments for Linear Logic Proof-nets - de Falco (2001) (Correct)
Similar documents based on text: More All
0.5: Tree Adjoining Grammars in Noncommutative Linear.. - Abrusci.. (1997) (Correct)
0.4: Sharing Continuations: Proofnets for Languages With Explicit.. - Lawall, Mairson (2000) (Correct)
0.4: Sharing Continuations: Proofnets for Languages with Explicit.. - Lawall, Mairson (2000) (Correct)
BibTeX entry: (Update)
@misc{ laurent-polarized,
author = "Olivier Laurent",
title = "Polarized Proof-Nets: Proof-Nets for LC (Extended Abstract)",
url = "citeseer.ist.psu.edu/336231.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987 ACM
72 Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
21 A new constructive logic : classical logic (context) - Girard - 1991
20 Annals of Pure and Applied Logic (context) - Girard, unity - 1993
8 From proof nets to games (context) - Lamarche - 1996 DBLP
8 Polarisation des preuves classiques et renversement - Quatrini, de Falco - 1996
7 Proof-nets : the parallel syntax for proof-theory (context) - Girard - 1996
3 Quantifiers in linear logic II (context) - Girard - 1991
1 Computational isomorphisms in classical logic - Danos, Joinet et al. - 1996
Documents on the same site (http://iml.univ-mrs.fr/~olaurent/): More
Polarized Proof-Nets and Lambda µ-Calculus - Laurent (1999) (Correct)
Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
A Token Machine for Full Geometry of Interaction - Laurent (2001) (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