## linear logic

<*theory*>

A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

*http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html*.

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].

[Summary?]

Last updated: 2003-05-02

### Nearby terms:

Linear Graph Notation ♦ **linear logic** ♦ linear map ♦ linear programming

Try this search on Wikipedia, OneLook, Google

Loading

Tweet