# Linear logic

```@article{Lincoln1992LinearL,
title={Linear logic},
author={Patrick Lincoln},
journal={SIGACT News},
year={1992},
volume={23},
pages={29-37}
}```
• P. Lincoln
• Published 1 May 1992
• Computer Science, Philosophy
• SIGACT News
Linear logic was introduced by Girard in 1987  . Since then many results have supported Girard' s statement, "Linear logic is a resource conscious logic," and related slogans . Increasingly, computer scientists have come to recognize linear logic as an expressive and powerful logic with connection s to a variety of topics in computer science . This column presents a.n intuitive overview of linear logic, some recent theoretical results, an d summarizes several applications of linear logic to…
3,219 Citations
An overview of linear logic is given, including an extensive bibliography and a simple example of the close relationship between linear logic and computation. 1 Overview Linear logic, introduced by
• Philosophy
Linear logic, proposed by Girard [Gir1987], has shown to be extremely valuable for the formalization of typical problems in Computer Science. This is due to the fact that, in linear logic, sentences
• T. Tammet
• Computer Science
Journal of Automated Reasoning
• 2004
Methods for automated theorem proving in propositional linear logic are investigated, both the “bottom-up” (tableaux) and "top-down" (resolution) proof strategies are analyzed.
Methods for automated theorem proving in propositional linear logic are investigated and various modiications of sequent rules and eecient search strategies are presented along with the experiments performed with the implemented theorem provers.
• T. Clarke
• Computer Science
Defense, Security, and Sensing
• 1998
This paper discuses the application of linear logic to simulation and proposes a connection that can be made between linear logic and simulated dynamics by using the concept of Lie algebras and Lie groups.
• Computer Science, Philosophy
Mathematical Structures in Computer Science
• 1991
A systematic correspondence between Petri nets, linear logic theories, and linear categories is established, which sheds new light on the relationships between linear logic and concurrency, and on how both areas are related to category theory.
This paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.
• Computer Science
ICLP
• 1990
This exciting advance in logic provides new ways of embracing aspects of computation directly in a rich logical framework and provides new insights into the many computational systems built on those two logics.
A survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, are offered, which covers an introduction to the connectives and proof rules oflinear logic, to its decidability properties, and to its models.
• Computer Science
AMAST
• 1996
It appears that Lygon can be considered to be the largest possible first-order linear logic programming language derivable in this way.