English-Czech translations for linear logic

• lineární logika

Definition 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

Related words

• linear
• bilinear
• collinear
• rectilinear
• collinearity
• nonlinear
• linearity
• curvilinear
• interlinear
• colinear