linear logic

collocation in English

meanings of linearand logic

These words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic.
linear
adjective
uk /ˈlɪn.i.ər/ us /ˈlɪn.i.ɚ/
consisting of relating to lines ...
See more at linear
logic
noun[U]
uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more at logic

Examples of linear logic

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
The linearlogic rule that combines the two premises is implication elimination.
The paper defines an operational semantics for the linear-algebraic -calculus and discusses the relationship between linearity in the senses of linear algebra and linearlogic.
Would it complicate matters to integrate the cut and axiom links in a double categorical treatment of linearlogic?
The operational semantics of this class of languages is given via a sequent-calculi presentation of the corresponding fragment of linearlogic.
As mentioned above, the fragment of linearlogic is primarily the implicational fragment.
The second consequence was linear negation, by far the most important discovery of linearlogic, and the compulsory door to interactivity.
Turning the pseudo-monad around to get a pseudo-comonad, we will obtain a model of linearlogic.
In this section we present two formulations of linearlogic: a one-sided sequent calculus and a two-sided sequent calculus.
The linearlogic resources used for semantic composition are node labels in semantic structure instantiated by the s projection function from f-structures.
This leaves open the possibility, then, of having a category that is simultaneously a model of and a model of linearlogic.
The evaluation procedure is based on an effective fixpoint operator working on a symbolic representation of infinite collections of first order linearlogic formulas.
They are essentially inspired from linearlogic, especially the multiplicative/additive fragment, with the idea that this fragment is in some vague sense universal.
For multiplicative/exponential linearlogic, there exist counter-examples that show us that the correctness criterion for this fragment is not minimal.
As we have already pointed out, the exponential and additive operators of linearlogic have natural interpretations as linear functors.
Thus proof(net) normalization for multiplicative linearlogic is complete for polynomial time.
In this limited way, we recover the features of exponentials from linearlogic.
Like an aggressive carcinoma, realizability stretches out its tentacles to ever more remote fields: linearlogic, complexity theory and rewrite theory have already been infected.
Thus, in seeking a denotational semantics for the symmetric combinators, it seems natural to draw inspiration from linearlogic.
Papers applying linearlogic to the structural aspects of quantum computation are also included.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition of linear
Go to the definition of logic
See other collocations with logic

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。