linear logic
Hello, you have come here looking for the meaning of the word linear logic. In DICTIOUS you will not only get to know all the dictionary meanings for the word linear logic, but we will also tell you about its etymology, its characteristics and you will know how to say linear logic in singular and plural. Everything you need to know about the word linear logic you have here. The definition of the word linear logic will help you to be more precise and correct when speaking or writing your texts. Knowing the definition oflinear logic, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
linear logic (plural linear logics)
- (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.
- 2009 March 2, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 39:
- 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’ .
Hypernyms
Translations
Translations
|