Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~fp/papers/CMUCS03131R.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: cmu.edu/~fp/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-L of's separation of judgments from propositions. Our construction yields a clean and elegant formulation that accounts for a rich set of multiplicative, additive, and exponential connectives, extending dual intuitionistic linear logic but differing from both classical linear logic and Hyland and de Paiva's full intuitionistic linear logic. We also provide a corresponding sequent calculus... (Update)
Cited by: More
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
Similar documents (at the sentence level):
42.0%: A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
40.5%: A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (Correct)
38.5%: A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
Active bibliography (related documents): More All
0.2: A Parigot-style Linear lambda-Calculus for Full.. - de Paiva, Ritter (2003) (Correct)
0.1: Proof Search Issues In Some Non-Classical Logics - Howe (1998) (Correct)
0.1: Unknown - Linear Type Theory (Correct)
Similar documents based on text: More All
0.2: Resource Management for the Inverse Method in Linear Logic - Chaudhuri, Pfenning (Correct)
0.1: Human-Readable Machine-Verifiable Proofs for Teaching.. - Abel, Chang, Pfenning (2001) (Correct)
0.1: Machine Learning (15-781) Project Final Report - Bruce, Chaudhuri (2000) (Correct)
Related documents from co-citation: More All
7: Theoretical Computer Science (context) - Girard - 1987
6: Resource distribution via boolean constraints - Harland, Pym - 1997
6: Resolution calculus for the first order linear logic (context) - Mints - 1993
BibTeX entry: (Update)
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131, Carnegie Mellon University, 2003. http://citeseer.ist.psu.edu/article/chang03judgmental.html More
@misc{ chang03judgmental,
author = "B. Chang and K. Chaudhuri and F. Pfenning",
title = "A judgmental analysis of linear logic",
text = "Bor-Yuh Evan Chang, Kaustuv Chaudhuri, and Frank Pfenning. A judgmental
analysis of linear logic. Technical Report CMU-CS-03-131, Carnegie Mellon
University, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/chang03judgmental.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, logic - 1987 ACM
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994 ACM DBLP
134 calculus: An algorithmic interpretation of classical natural.. (context) - Parigot - 1992
133 Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
104 Annals of Pure and Applied Logic (context) - unity, logic - 1993
104 Annals of Pure and Applied Logic (context) - on, linear - 1996
90 A linear logical framework - Cervesato, Pfenning - 2002 ACM DBLP
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
77 Dual Intuitionistic Linear Logic (context) - Barber - 1996
73 Untersuchungen uber das logische Schlieen (context) - Gentzen
58 Linear types and non-size increasing polynomial time computa.. - Hofmann - 2000
57 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992 DBLP
47 Lilac --- a functional programming language based on linear .. (context) - Mackie - 1993
46 On intuitionistic linear logic (context) - Bierman - 1994
46 Resource logics: proof-theoretical investigations (context) - Roorda - 1991
35 Linear logic and lazy computation (context) - Girard, Lafont - 1987 ACM DBLP
34 Classically and intuitionistically provably recursive functi.. (context) - Friedman - 1978
33 Relating natural deduction and sequent calculus for intuitio.. - Polakow, Pfenning - 1999 DBLP
33 The noble art of linear decorating (context) - Schellinx - 1994
30 Games semantics for full propositional linear logic (context) - Lamarche - 1995 ACM DBLP
29 Structural cut elimination in linear logic - Pfenning - 1994
29 A syntax for linear logic - Wadler - 1993 ACM DBLP
25 Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
24 the intuitionistic force of classical search - Ritter, Pym et al. - 2000
21 A syntactical analysis of non-size-increasing polynomial tim.. - Aehlig, Schwichtenberg - 2001 ACM DBLP
18 Proof theory for full intuitionistic linear logic - Robin, Cockett et al. - 1997
18 Proof search issues in some non-classical logics - Howe - 1998
12 Higher-Order and Symbolic Computation (context) - Berdine, O'Hearn et al. - 2002
12 Center for the Study of Language and Information (context) - Troelstra, linear et al. - 1992
10 Information and Computation (context) - elimination, intuitionistic et al. - 2000 DBLP
9 Modal translations in substructural logics (context) - Dosen - 1992
8 Normal natural deduction proofs (context) - Sieg, Byrnes - 1998
8 Department of Computer Science (context) - Polakow, logic et al. - 2001
8 A formulation of linear logic based on dependencyrelations - uner, de Paiva - 1997
6 A normalizing system of natural deduction for intuitionistic.. (context) - Negri - 2000
6 Personal communication (context) - de Paiva - 2003
6 Journal of Philosophical Logic (context) - linear - 2002
4 Seventeenth Annual Symposium on Principles of Programming La.. (context) - Lafont, nets - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~fp/papers/): More
A Type Theory for Memory Allocation and Data Layout - Petersen, Harper, Crary.. (2002) (Correct)
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (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