linear logic

English

Noun

linear logic (plural linear logics)

1. (logic) 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

Translations

• Chinese:

  Mandarin: 線性邏輯／线性逻辑, 线性逻辑 (xiànxìng luójí)

• Czech: lineární logika
• (deprecated template usage) {{trans-mid}}
• French: logique linéaire
• Japanese: 線形論理 (せんけいろんり, senkeironri)
• Portuguese: lógica linear