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?]
(2003-05-02)

Read Also:

  • Linearly

    [lin-ee-er] /ˈlɪn i ər/ adjective 1. of, consisting of, or using lines: linear design. 2. pertaining to or represented by lines: linear dimensions. 3. extended or arranged in a line: a linear series. 4. involving measurement in one dimension only; pertaining to length: linear measure. 5. of or relating to the characteristics of a work […]

  • Linearly-ordered-set

    noun, Mathematics. 1. . noun, Mathematics. 1. a set in which a relation, as “less than or equal to,” holds for all pairs of elements of the set.

  • Linear map

    mathematics (Or “linear transformation”) A function from a vector space to a vector space which respects the additive and multiplicative structures of the two: that is, for any two vectors, u, v, in the source vector space and any scalar, k, in the field over which it is a vector space, a linear map f […]

  • Linear-measure

    noun 1. any system for measuring length. 2. any unit used in linear measurement, as the inch, foot, meter, etc. noun 1. a unit or system of units for the measurement of length Also called long measure

  • Linear-perspective

    noun 1. a mathematical system for representing three-dimensional objects and space on a two-dimensional surface by means of intersecting lines that are drawn vertically and horizontally and that radiate from one point (one-point perspective) two points (two-point perspective) or several points on a horizon line as perceived by a viewer imagined in an arbitrarily fixed […]


Disclaimer: Linear logic definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.