linear logics

A form of linear 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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of linear logic
Cite this entry
APA

linear logics. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/linear%20logics

MLA

“linear logics.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/linear%20logics. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “linear logics,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/linear%20logics.

Source: linear logics on Wiktionary, CC BY-SA 4.0.