Definitions from Wiktionary (linear logic)
▸ noun: (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.
▸ Words similar to linear logic
▸ Usage examples for linear logic
▸ Idioms related to linear logic
▸ Wikipedia articles (New!)
▸ Words that often appear near linear logic
▸ Rhymes of linear logic
▸ Invented words related to linear logic
▸ noun: (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.
Similar:
positive logic,
propositional logic,
mathematical logic,
formula,
many-valued logic,
non-classical logic,
sublogic,
formal logic,
logical calculus,
logic,
more...
Opposite:
Phrases:
▸ Words similar to linear logic
▸ Usage examples for linear logic
▸ Idioms related to linear logic
▸ Wikipedia articles (New!)
▸ Words that often appear near linear logic
▸ Rhymes of linear logic
▸ Invented words related to linear logic