Contextualizebeta

linear logic

noun

Definitions

  1. A logic in which two structural rules are missing from its sequent calculus

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for linear logic. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA