Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Linear logic

Known as: Intuitionistic linear logic,  
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of… Expand
Wikipedia

Papers overview

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
  • table 1
  • table 2
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
  • table 1
  • table 3
  • table 6
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
  • A. Blass
  • Ann. Pure Appl. Log.
  • 1992
  • Corpus ID: 5578550
Abstract We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard's linear logic (1987). Lorenzen… Expand
  • table 1
Highly Cited
1990
Highly Cited
1990
  • D. Yetter
  • J. Symb. Log.
  • 1990
  • Corpus ID: 30626492
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
Highly Cited
1987
  • J. Girard
  • Theor. Comput. Sci.
  • 1987
  • Corpus ID: 40737441