## Linear Logic (1992)

### Cached

### Download Links

- [www.csl.sri.com]
- [www.csl.sri.com]
- [www.csl.sri.com]
- [www.csl.sri.com]
- [www.dfki.uni-sb.de]
- DBLP

### Other Repositories/Bibliography

Citations: | 24 - 1 self |

### BibTeX

@MISC{Lincoln92linearlogic,

author = {Patrick Lincoln},

title = {Linear Logic},

year = {1992}

}

### Years of Citing Articles

### OpenURL

### Abstract

this paper we will restrict attention to propositional linear logic. The sequent calculus notation, due to Gentzen [10], uses roman letters for propositions, and greek letters for sequences of formulas. A sequent is composed of two sequences of formulas separated by a `, or turnstile symbol. One may read the sequent \Delta ` \Gamma as asserting that the multiplicative conjunction of the formulas in \Delta together imply the multiplicative disjunction of the formulas in \Gamma. A sequent calculus proof rule consists of a set of hypothesis sequents, displayed above a horizontal line, and a single conclusion sequent, displayed below the line, as below: Hypothesis1 Hypothesis2 Conclusion 4 Connections to Other Logics