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
Linear Graph Notation ♦ linear logic ♦ linear map ♦ linear programming
Try this search on Wikipedia, Wiktionary, Google, OneLook.