Word.ws English Dictionary

linear logic

linear logic noun: a logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

Noun

linear logic (plural linear logics)

  1. A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.
    • Gentzen also wrote down inference rules suitable for the intuitionistic propositional and predicate calculi. These rules lack the mirror symmetry of the classical case. But in the 1980s, this symmetry was restored by Girard’s invention of ‘linear logic’ [43].2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 39

Forms of linear logic

plurallinear logics

Questions about linear logic

What does linear logic mean?
Linear logic means a logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.
What part of speech is linear logic?
Linear logic is a noun.
What is the plural of linear logic?
The plural of linear logic is linear logics.

Words near linear logic in the dictionary

  1. linear functionals
  2. linear functions
  3. linear group
  4. linear groups
  5. linear independence
  6. linear logic
  7. linear logics
  8. linear map
  9. linear maps
  10. linear meter
  11. linear meters

Source and license

Adapted from Wiktionary: linear logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “linear logic.” Word.ws, https://word.ws/linear_logic. Based on Wiktionary, CC BY-SA 4.0.