linear logic
collocation in Englishmeaningsoflinearandlogic
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
linear
adjective
uk/ˈlɪn.i.ər/us/ˈlɪn.i.ɚ/
consisting of relating to lines ...
See more atlinear
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 atlogic
(Definition oflinearandlogicfrom theCambridge English Dictionary© Cambridge University Press)
Examplesoflinear 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.
Thelinearlogicrule that combines the two premises is implication elimination.
From theCambridge English Corpus
The paper defines an operational semantics for the linear-algebraic -calculus and discusses the relationship between linearity in the senses of linear algebra andlinearlogic.
From theCambridge English Corpus
Would it complicate matters to integrate the cut and axiom links in a double categorical treatment oflinearlogic?
From theCambridge English Corpus
The operational semantics of this class of languages is given via a sequent-calculi presentation of the corresponding fragment oflinearlogic.
From theCambridge English Corpus
As mentioned above, the fragment oflinearlogicis primarily the implicational fragment.
From theCambridge English Corpus
The second consequence was linear negation, by far the most important discovery oflinearlogic, and the compulsory door to interactivity.
From theCambridge English Corpus
Turning the pseudo-monad around to get a pseudo-comonad, we will obtain a model oflinearlogic.
From theCambridge English Corpus
In this section we present two formulations oflinearlogic: a one-sided sequent calculus and a two-sided sequent calculus.
From theCambridge English Corpus
Thelinearlogicresources used for semantic composition are node labels in semantic structure instantiated by the s projection function from f-structures.
From theCambridge English Corpus
This leaves open the possibility, then, of having a category that is simultaneously a model of and a model oflinearlogic.
From theCambridge English Corpus
The evaluation procedure is based on an effective fixpoint operator working on a symbolic representation of infinite collections of first orderlinearlogicformulas.
From theCambridge English Corpus
They are essentially inspired fromlinearlogic, especially the multiplicative/additive fragment, with the idea that this fragment is in some vague sense universal.
From theCambridge English Corpus
For multiplicative/exponentiallinearlogic, there exist counter-examples that show us that the correctness criterion for this fragment is not minimal.
From theCambridge English Corpus
As we have already pointed out, the exponential and additive operators oflinearlogichave natural interpretations as linear functors.
From theCambridge English Corpus
Thus proof(net) normalization for multiplicativelinearlogicis complete for polynomial time.
From theCambridge English Corpus
In this limited way, we recover the features of exponentials fromlinearlogic.
From theCambridge English Corpus
Like an aggressive carcinoma, realizability stretches out its tentacles to ever more remote fields:linearlogic, complexity theory and rewrite theory have already been infected.
From theCambridge English Corpus
Thus, in seeking a denotational semantics for the symmetric combinators, it seems natural to draw inspiration fromlinearlogic.
From theCambridge English Corpus
Papers applyinglinearlogicto the structural aspects of quantum computation are also included.
From theCambridge English Corpus
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 oflinear
Go to the definition oflogic
See other collocations withlogic