Word Pronunciation & Dictionary

linear logic

Word Rarity Rare

Frequency: Zipf frequency 3.92 in modern English

Syllables: lin-ear -log-ic
IPA

14

Scrabble Score

11

Letters

4

Syllables

9

Unique Chars

Meaning

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.

Example Sentences

"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]."

Inflected Forms

linear logics (plural)

Questions

What does linear logic mean?: 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.

How to pronounce linear logic

Open the pronunciation page — Open the Speakur entry for “linear logic”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “linear logic”.
Repeat and practice — Say “linear logic” aloud, matching stress and vowels until it feels natural.