# Linear logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

1996

Highly Cited

1996

- 1996

We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation ofâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- 1995

This is perfect in mathematics, but wrong in real life, since real implication is causal. A causal implication cannot be iteratedâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Theor. Comput. Sci.
- 1993

We study Girard's Linear Logic from the point of view of giving a concrete computational interpretation of the logic, based onâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- J. Log. Comput.
- 1992

The deep symmetry of linear logic [18] makes it suitable for providing abstract models of computation, free from implementationâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Ann. Pure Appl. Logic
- 1992

Blass, A., A game semantics for linear logic, Annals of Pure and Applied Logic 56 (1992) 183-220. We present a game (or dialogueâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- FSTTCS
- 1992

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show thatâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- LICS
- 1991

Logic programming languages based on fragments of intuitionistic logic have recently been developed and studied by severalâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Mathematical Structures in Computer Science
- 1991

The subject of linear logic has recently become very important in theoretical computer science. It is apparent that theâ€¦Â (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- FOCS
- 1990

Lincoln, P., J. Mitchell, A. Scedrov and N. Shankar, Decision problems for propositional linear logic, Annals of Pure and Appliedâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- 1989

A brief outline of the categorical characterisation of Girard's linear logic is given, analagous to the relationship betweenâ€¦Â (More)

Is this relevant?