Bor-Yuh Evan Chang Kaustuv Chaudhuri Frank Pfenning 14 April 2003 Revised...  Home/Search
Context Related
| cmu.edu/~kaustuv/p...CMUCS03131R.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cmu.edu/~kaustuv/research (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):
41.7%: A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (Correct)
41.7%: A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
38.2%: 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 Calculus In (Correct)
Similar documents based on text:
0.0: Unknown - (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
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
233 Computational interpretations of linear logic - Abramsky - 1993
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
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
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
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
34 Classically and intuitionistically provably recursive functi.. (context) - Friedman - 1978
33 Relating natural deduction and sequent calculus for intuitio.. - Polakow, Pfenning - 1999
33 The noble art of linear decorating (context) - Schellinx - 1994
30 Games semantics for full propositional linear logic (context) - Lamarche - 1995
29 Structural cut elimination in linear logic - Pfenning - 1994
29 A syntax for linear logic - Wadler - 1993
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
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
8 A formulation of linear logic based on dependencyrelations - uner, de Paiva - 1997
8 Department of Computer Science (context) - Polakow, logic et al. - 2001
8 Normal natural deduction proofs (context) - Sieg, Byrnes - 1998
7 Modal translations in substructural logics (context) - sen - 1992
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.cs.cmu.edu/~kaustuv/research.html): More
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) (Correct)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
A Logical Characterization of Forward and Backward.. - Chaudhuri, Pfenning.. (2006) (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