We do not currently know of any synonyms for linear logic.
The noun linear logic is defined as:
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.
New Story Writing Game!
Win Amazon gift cards by writing simple stories at Fictish,
a new story writing game backed by WordHippo.