linear logic

Noun

 * 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.

Hypernyms

 * substructural logic

Translations

 * Chinese:
 * Mandarin: 線性邏輯
 * Czech: lineární logika
 * French: logique linéaire
 * Japanese: 線形論理
 * Portuguese: lógica linear