Proof Search Linear Chapter 4 Proof Search Linear logic as introduced by Girard and presented in...  Home/Search
Context
Related
| cmu.edu/~fp/courses/linear/h...focus.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/courses/li...handouts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: an inference rule with which it might be inferred. We also may need to determine exactly how the conclusion of the rule matches the judgment. For example, in the R rule we need to decide how to split the linear hypotheses between the two premises. After these choices have been made, we reduce the goal of deriving the judgment to a number of subgoals, one for each premise of the selected rule. If there are no premises, the subgoal is solved. If there are no subgoals left, we have derived the... (Update)
Similar documents (at the sentence level):
5.6%: Unknown - Sequent Calculus In (Correct)
Active bibliography (related documents): More All
0.3: Linear Type Checking - The Typing Rules (Correct)
0.3: Termination - As The Example (Correct)
0.3: If ; ; =) A + then ; =) A. - If Then Proof (Correct)
Similar documents based on text: More All
0.1: A Virtual Laboratory - Matthias Schwab Keywords (Correct)
0.1: On the Integration of Learning, Logical Deduction and.. - Wolff (1991) (Correct)
0.1: On the Independent Components of Functional Neuroimages - Petersen, Hansen.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ linear-unknown,
author = "Proof Search Linear",
title = "Unknown",
url = "citeseer.ist.psu.edu/593824.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
178 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
116 Natural Deduction (context) - Prawitz - 1965
104 Annals of Pure and Applied Logic (context) - Girard, unity - 1993
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
63 A brief guide to linear logic - Scedrov - 1993
62 The Collected Papers of Gerhard Gentzen (context) - Szabo - 1969
53 Center for the Study of Language and Information (context) - Troelstra, Linear et al. - 1992
38 From Petri nets to linear logic through categories: A survey (context) - Mart, Meseguer - 1991
29 ACM SIGACT Notices (context) - Lincoln - 1992
28 Natural deduction for intuitionistic linear logic - Troelstra - 1993
26 Notes to an invited talk at the Workshop on Intuitionistic M.. (context) - Pfenning, Davies et al. - 1999
19 Number 2 in Studies in Logic and Computation (context) - Schroeder-Heister, Do et al. - 1993
18 the meanings of the logical constants and the justi cations .. (context) - Martin-L, On - 1996
Documents on the same site (http://www.lb.cs.cmu.edu/~fp/courses/linear/handouts.html): More
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
A Linear Logical Framework - Cervesato, Pfenning (1996) (Correct)
A Linear Logical Framework - Cervesato, Pfenning (1996) (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