Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,276,517 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Admissible rule
Atomic formula
Bunched logic
Calculus of structures
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1995
Highly Cited
1995
Linear logic: its syntax and semantics
J. Girard
1995
Corpus ID: 13895566
This is perfect in mathematics, but wrong in real life, since real implication is causal. A causal implication cannot be iterated…
Expand
Highly Cited
1994
Highly Cited
1994
Light Linear Logic
J. Girard
Information and Computation
1994
Corpus ID: 1173619
We are seeking a ``logic of polytime'', not yet one more axiomatization, but an intrinsically polytime system. Our methodological…
Expand
Review
1992
Review
1992
Linear logic
P. Lincoln
SIGA
1992
Corpus ID: 3035174
Linear logic was introduced by Girard in 1987 [11] . Since then many results have supported Girard' s statement, "Linear logic is…
Expand
Highly Cited
1992
Highly Cited
1992
Logic Programming with Focusing Proofs in Linear Logic
J. Andreoli
Journal of Logic and Computation
1992
Corpus ID: 205204264
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
Games and full completeness for multiplicative linear logic
S. Abramsky
,
R. Jagadeesan
Journal of Symbolic Logic (JSL)
1992
Corpus ID: 6613523
Abstract We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We…
Expand
Highly Cited
1991
Highly Cited
1991
Logic programming in a fragment of intuitionistic linear logic
J. S. Hodas
,
D. Miller
[] Proceedings Sixth Annual IEEE Symposium on…
1991
Corpus ID: 3255666
The intuitionistic notion of context is refined by using a fragment of J.-Y. Girard's (Theor. Comput. Sci., vol.50, p.1-102, 1987…
Expand
Highly Cited
1990
Highly Cited
1990
Quantales and (noncommutative) linear logic
D. Yetter
Journal of Symbolic Logic (JSL)
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
1990
Highly Cited
1990
Decision problems for propositional linear logic
P. Lincoln
,
John C. Mitchell
,
A. Scedrov
,
N. Shankar
Proceedings [] 31st Annual Symposium on…
1990
Corpus ID: 5553551
It is shown that, unlike most other propositional (quantifier-free) logics, full propositional linear logic is undecidable…
Expand
Highly Cited
1989
Highly Cited
1989
Linear Logic, -Autonomous Categories and Cofree Coalgebras
R. Seely
,
Le Fonds
,
Quebec
1989
Corpus ID: 60220968
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
Linear Logic
J. Girard
Theoretical Computer Science
1987
Corpus ID: 40737441
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE