Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

Highly Cited

1998

Highly Cited

1998

We are seeking a ``logic of polytime'', not yet one more axiomatization, but an intrinsically polytime system. Our methodological… Expand

Highly Cited

1995

Highly Cited

1995

This is perfect in mathematics, but wrong in real life, since real implication is causal. A causal implication cannot be iterated… Expand

Highly Cited

1993

Highly Cited

1993

Abstract We study Girard's linear logic from the point of view of giving a concrete computational interpretation of the logic… Expand

Highly Cited

1992

Highly Cited

1992

The deep symmetry of linear logic [18] makes it suitable for providing abstract models of computation, free from implementation… Expand

Highly Cited

1992

Highly Cited

1992

1. Introduction 2. Sequent calculus for linear logic 3. Some elementary syntactic results 4. The calculus of two implications: a… Expand

Highly Cited

1992

Highly Cited

1992

Abstract Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources… Expand

Highly Cited

1992

Highly Cited

1992

Abstract We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard's linear logic (1987). Lorenzen… Expand

Highly Cited

1990

Highly Cited

1990

It is the purpose of this paper to make explicit the connection between J.-Y. Girard's “linear logic” [4], and certain models for… Expand

Highly Cited

1989

Highly Cited

1989

A brief outline of the categorical characterisation of Girard's linear logic is given, analagous to the relationship between… Expand

Highly Cited

1987