Jeff Polakow, Frank Pfenning  Home/Search
Context Related
| cmu.edu/afs/cs/user/fp/www/...tlca99.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/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a system of natural deduction and associated term calculus for intuitionistic non-commutative linear logic (INCLL) as a conservative extension of intuitionistic linear logic. We prove subject reduction and the existence of canonical forms in the implicational fragment. (Update)
Cited by: More
Natural Deduction for Intuitionistic Non-Commutative Linear.. - Polakow, Pfenning (1999) (Correct)
Relating Natural Deduction and Sequent Calculus for.. - Polakow, Pfenning (1999) (Correct)
Ordered Linear Logic Programming - Jeff Polakow And (Correct)
Active bibliography (related documents): More All
0.2: Concurrent Constraint Programming and Non-Commutative Logic - Ruet, Fages (1998) (Correct)
0.2: A Topological Correctness Criterion for Multiplicative.. - Mellies (Correct)
0.2: Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
Similar documents based on text:
99.0: Unknown - (Correct)
Related documents from co-citation: More All
19: Relating natural deduction and sequent calculus for intuitionistic non-commutati.. - Polakow, Pfenning - 1999
18: ato and Frank Pfenning. A linear logical framework. Information and Computation,.. (context) - Cerves - 1999
17: Theoretical Computer Science (context) - Girard - 1987
BibTeX entry: (Update)
Jeff Polakow and Frank Pfenning. Natural deduction for intuitionistic non-commutative linear logic. In J.-Y. Girard, editor, Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA'99), l'Aquila, Italy, April 1999. Springer-Verlag LNCS. To appear. http://citeseer.ist.psu.edu/polakow99natural.html More
@inproceedings{ polakow99natural,
author = "Jeff Polakow and Frank Pfenning",
title = "Natural Deduction for Intuitionistic Non-Commutative Linear Logic",
booktitle = "Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications ({TLCA}'99)",
publisher = "Springer-Verlag LNCS 1581",
address = "L'Aquila, Italy",
editor = "J.-Y. Girard",
pages = "295--309",
year = "1999",
url = "citeseer.ist.psu.edu/polakow99natural.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
434 A framework for defining logics - Harper, Honsell et al. - 1993
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
248 The mathematics of sentence structure (context) - Lambek - 1958
233 Computational interpretations of linear logic - Abramsky - 1993
90 A linear logical framework - Cervesato, Pfenning - 1996
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
38 Department of Computer Science (context) - Barber, Theories et al. - 1997
33 Relating natural deduction and sequent calculus for intuitio.. - Polakow, Pfenning - 1999
30 Structural control (context) - Kurtonina, Moortgat - 1996
28 Eta-expansion in dependent type theory --- the Calculus of C.. - Ghani - 1997
27 The occurrence of continuation parameters in CPS terms - Danvy, Pfenning - 1995
24 Science of Computer Programming (context) - Danvy, direct - 1994
18 Relations and non-commutative linear logic (context) - Brown, Gurr - 1991
13 Ordered linear logic programming - Polakow, Pfenning - 1998
11 Non-commutative intuitionistic linear propositional logic (context) - Abrusci - 1990
6 Available as technical report MS-CIS-89-45 (context) - Pareschi, Language et al. - 1989
5 Non-Commutative Logic and Concurrent Constraint Programming (context) - Ruet - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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