Torben Braüner, Valeria de Paiva  Home/Search
Context Related
Links: ACM DBLP | hum.auc.dk/~torbenb/CSL97paper.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: hum.auc.dk/~torbenb/index1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well as correcting a small mistake in their work and extending the system to deal with exponentials, we... (Update)
Cited by: More
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
Similar documents (at the sentence level):
33.2%: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (1996) (Correct)
Active bibliography (related documents): More All
0.5: Observations on a Linear PCF - Bierman (1997) (Correct)
0.4: A Classical Linear λ-calculus - Bierman (1997) (Correct)
0.3: Labelled Deduction - Basin, D'Agostino, Gabbay, Matthews, .. (2000) (Correct)
Similar documents based on text: More All
0.4: Duplication of Directed Graphs and Exponential Blow Up of Proofs - Carbone (1998) (Correct)
0.3: A Parigot-style Linear lambda-Calculus for Full.. - de Paiva, Ritter (2003) (Correct)
0.3: Dialectica and Chu Constructions: Cousins? - Valeria De Paiva (Correct)
Related documents from co-citation: More All
12: Annals of Pure and Applied Logic (context) - Girard, unity et al. - 1993
8: Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
8: the intuitionistic force of classical search - Ritter, Pym et al. - 1996
BibTeX entry: (Update)
Torben Bra uner and Valeria de Paiva. A formulation of linear logic based on dependency-relations. In Mogens Nielsen and Wolfgang Thomas, editors, Proceedings of the Annual Conference of the European Association for Computer Science Logic, volume 1414 of LNCS, pages 129--148, Aarhus, Denmark, August 1997. Springer Verlag. http://citeseer.ist.psu.edu/uner97formulation.html More
@misc{ brauner-formulation,
author = "Torben Bra{\"u}ner and Valeria de Paiva",
title = "A Formulation of Linear Logic Based on Dependency-Relations",
url = "citeseer.ist.psu.edu/uner97formulation.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
268 Proofs and Types (context) - Girard, Lafont et al. - 1989
134 calculus: An algorithmic interpretation of classical natural.. (context) - Parigot - 1992
35 Linear logic and lazy computation (context) - Girard, Lafont - 1987 ACM DBLP
25 Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
21 Light linear logic - Girard - 1994 ACM DBLP
18 Proof theory for full intuitionistic linear logic - Cockett, Seely - 1996
7 Subnets of proofnets in multiplicative linear logic with MIX (context) - Bellin - 1996
6 A note on full intuitionistic linear logic (context) - Bierman - 1996
4 A new proof system for intuitionistic logic (context) - de Paiva, Pereira - 1995
4 This article was processed using the L A T E X macro package.. (context) - Shirahata, Theory et al. - 1994
4 Cut-elimination for full intuitionistic linear logic - Brauner, de Paiva - 1996
2 A classical linear -calculus - Bierman - 1997
1 Department of Pure Mathematics and Mathematical Statistics (context) - de Paiva, Categories - 1988
1 Some syntactic observations on linear logic (context) - Schellinx - 1991
Documents on the same site (http://www.hum.auc.dk/~torbenb/index1.html):
A Simple Adequate Categorical Model for PCF - Braüner (1997) (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