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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1996
Highly Cited
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
This is perfect in mathematics, but wrong in real life, since real implication is causal. A causal implication cannot be iterated… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1993
Highly Cited
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
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
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)
  • table 1
Is this relevant?
Highly Cited
1992
Highly Cited
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
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
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
Lincoln, P., J. Mitchell, A. Scedrov and N. Shankar, Decision problems for propositional linear logic, Annals of Pure and Applied… (More)
  • figure 3.2
Is this relevant?
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… (More)
Is this relevant?