Valeria de Paiva, Eike Ritter  Home/Search
Context
Related
| cs.bham.ac.uk/~vdp/publicati...paper.ps 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: cs.bham.ac.uk/~vdp/publi...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a natural deduction formulation for Full Intuitionistic Linear Logic (FILL), an intriguing variation of multiplicative linear logic, due to Hyland and de Paiva. The system FILL resembles intuitionistic logic, in that all its connectives are independent, but resembles classical logic in that its sequent-calculus formulation has intrinsic multiple conclusions. From the intrinsic multiple conclusions comes the inspiration to modify Parigot's natural deduction systems for ... (Update)
Similar documents (at the sentence level):
6.2%: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (Correct)
Active bibliography (related documents): More All
0.4: A Notion of Classical Pure Type System - Barthe, Hatcliff, Sørensen (1997) (Correct)
0.3: An Unexpectedly Simple 2-Categorical Origin - For Chu Spaces (Correct)
0.2: Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (Correct)
Similar documents based on text: More All
0.4: Categorical Models of Explicit Substitutions - Ghani, de Paiva, Ritter (1998) (Correct)
0.4: Linear Explicit Substitutions - Ghani, de Paiva, Ritter (1998) (Correct)
0.4: Rewriting Properties of Combinators for Intuitionistic.. - Nesi, de Paiva, Ritter (1994) (Correct)
BibTeX entry: (Update)
@misc{ paiva-parigotstyle,
author = "Valeria de Paiva and Eike Ritter",
title = "A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic",
url = "citeseer.ist.psu.edu/depaiva03parigotstyle.html" }
Citations (may not include all citations):134 calculus: an algorithmic interpretation of classical natural.. (context) - Parigot - 1992
88 Linear Logic: its syntax and semantics - Girard - 1995
73 Untersuchungen uber das logische Schlieen (context) - Gentzen - 1934
26 Elements of Intuitionism (context) - Dummett - 1980
25 Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
24 the intuitionistic force of classical search - Ritter, Pym et al. - 2000
12 Theory and Applications of Categories (context) - Barr, construction - 1996
11 Chu spaces as a semantic bridge between linear logic and mat.. - Pratt - 2003 ACM DBLP
8 A formulation of linear logic based on dependency-relations - Brauner, de Paiva - 1998 ACM DBLP
7 Proof-terms for classical and intuitionistic logic (context) - Ritter, Pym et al. - 2000
7 the semantics of classical disjunction (context) - Ritter, Pym - 2001
4 Towards a Classical Linear #-calculus (context) - Bierman - 1996
4 A dialectica-like model of linear logic (context) - de Paiva - 1989 ACM DBLP
1 A formulae-as-types interpretation of subtractive logic (context) - Crolard - 2003
Documents on the same site (http://www.cs.bham.ac.uk/~vdp/publications/papers.html): More
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (Correct)
Relating Categorical and Kripke Semantics for.. - Alechina, de Paiva.. (1998) (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