Kaustuv Chaudhuri  Home/Search
Context
Related
| cmu.edu/~kaustuv/pa...CMUCS03140.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 present a forward sequent calculus for intuitionistic propositional linear logic (# , 1, 0, !) and a corresponding inverse-method search strategy. Our approach centres around resource management, inspired by similar approaches for backward-directed calculi such as top-down linear logic programming. Surprisingly, the resource management problems for the forward direction turn out to have a different character to those of the backward direction, arising for different connectives. Our... (Update)
Active bibliography (related documents): More All
2.2: The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
0.7: Resource Management for the Inverse Method in Linear Logic - Chaudhuri, Pfenning (Correct)
0.7: Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
Similar documents based on text:
3.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ chaudhuri-inverse,
author = "Kaustuv Chaudhuri",
title = "The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)",
url = "citeseer.ist.psu.edu/chaudhuri03inverse.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994 ACM DBLP
77 Dual intuitionistic linear logic (context) - Barber, Plotkin - 1996
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993 ACM DBLP
58 A mixed linear and non-linear logic: Proofs (context) - Benton - 1994
46 Resource-distribution via boolean constraints - Harland, Pym - 1997 ACM DBLP
43 Games semantics for linear logic (context) - Lafont, Streicher - 1991 DBLP
38 The uniform proof-theoretic foundations of linear logic prog.. - Harland, Pym - 1991
30 Efficient resource management for linear logic proof search - Cervesato, Hodas et al. - 1996 ACM DBLP
27 A resolution theorem prover for intuitionistic logic - Tammet - 1996
26 Implementing the linear logic programming language Lygon - Winikoff, Harland - 1995
22 Theorem proving in non-standard logics based on the inverse .. (context) - Voronkov - 1992 ACM DBLP
19 Resolution calculus for the first order linear logic (context) - Mints - 1993
18 Proof search issues in some non-classical logics - Howe - 1999
15 Logic programming in a fragment of linear logic (context) - Hodas, Miller - 1994
13 The inverse method of establishing deducibility in the class.. (context) - Maslov - 1964
13 Resolution strategies for the intuitionistic logic (context) - Mints - 1994
12 Logic programming with focussing proofs in linear logic (context) - Andreoli - 1992
10 Deterministic resource management for the linear logic progr.. (context) - Harland, Winikoff - 1994
9 A judgmental analysis of linear logic - Chang, Chaudhuri et al. - 2003
7 inverse method and the sequent calculus (context) - Tammet - 1997
3 Prolog with linear logic context management (context) - Hodas, an - 1992
3 Handbook of Automated Reasoning (context) - Degtyarev, Voronkov - 2008 ACM
2 Relating natural deducion and sequent calculus for intuition.. (context) - Polakow, Pfenning - 1999
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