Lorenzo Tortora de Falco  Home/Search
Context Related
| logique.jussieu.fr...obsessionWWW.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: logique.jussieu.fr/www.t...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the question of injectivity of coherent semantics of linear logic proof-nets. Starting from Girard's de nition of experiment, we introduce the key-notion of \injective obsessional experiment ", which allows to give a positive answer to our question for certain fragments of linear logic, and to build counter-examples to the injectivity of coherent semantics in the general case. (Update)
Context of citations to this paper: More
...the proposal of a mathematical de nition of the term canonical . And here is where denotational semantics comes into the picture: in [17], the question 1 of injectivity of denotational semantics is addressed for proof nets. Roughly speaking, denotational semantics is said to...
Cited by: More
Slicing Polarized Additive Normalization - Laurent, de Falco (Correct)
Active bibliography (related documents): More All
1.3: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
1.0: The Additive Multiboxes - de Falco (2000) (Correct)
0.7: Polarized Proof-Nets and Lambda µ-Calculus - Laurent (1999) (Correct)
Similar documents based on text: More All
0.6: Injectivity of Composite Functions - Larsen, Schwartzbach (Correct)
0.5: Denotational semantics for polarized (but non-constrained) LK by .. - de Falco (Correct)
0.5: Injectivity Conditions of 2D and 3D Uniform Cubic B-spline.. - Choi, Lee (2000) (Correct)
BibTeX entry: (Update)
Lorenzo Tortora de Falco. Obsessional experiments for linear logic proof-nets. Submitted, January 2001. 21 http://citeseer.ist.psu.edu/tortoradefalco01obsessional.html More
@misc{ falco01obsessional,
author = "L. de Falco",
title = "Obsessional experiments for linear logic proof-nets",
text = "Lorenzo Tortora de Falco. Obsessional experiments for linear logic proof-nets.
Submitted, January 2001. 21",
year = "2001",
url = "citeseer.ist.psu.edu/tortoradefalco01obsessional.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987
57 A new deconstructive logic: linear logic - Danos, Joinet et al. - 1997
21 Information and Computation (context) - Danos, Joinet et al. - 2001
21 Information and Computation (context) - Girard, logic - 1995
21 A new constructive logic: classical logic (context) - Girard - 1991
21 Proof-nets and the Hilbert space - Danos, Regnier - 1995
20 Annals of Pure and Applied Logic (context) - Girard, unity - 1993
9 Polarized proof-nets: proof-nets for LC (context) - Laurent - 1999
8 Polarisation des preuves classiques et renversement - Quatrini, de Falco - 1996
6 La Logique Lineaire appliquee a l'etude de divers proces.. (context) - Danos - 1990
5 Lambda-Calcul et Reseaux (context) - Regnier - 1992
5 Additives of linear logic and normalization- part (context) - de Falco - 2000
4 Anatomy of an extensional collapse - Barreiro, Ehrhard - 1997
4 Polarized and focalized linear and classical proofs - Laurent, Quatrini et al. - 2000
2 Le dimostrazioni logiche come costruzioni: spazi coerenti ed.. (context) - Barcaglioni - 2001
2 Archive for Mathematical Logic (context) - Duquesne, Wiele et al. - 1994
2 but non-constrained) LK by means of the additives (context) - de Falco, for - 1997
1 A semantic characterisation of the correctness of a proof ne.. - Retor - 1997
1 denable functionals and conversion (context) - Statman - 1983
Documents on the same site (http://www.logique.jussieu.fr/www.tortora/papers.html): More
Additives of linear logic and normalization- Part I: a.. - Lorenzo Tortora De (Correct)
Slicing Polarized Additive Normalization - Laurent, de Falco (Correct)
Additives of linear logic and normalization-Part II: the.. - de Falco (2000) (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