Sentence examples for multiplicative fragment of from inspiring English sources
For the sake of brevity, we will concentrate on the multiplicative fragment of linear logic, i.e., which connectives are tensor, par, linear implication, and negation.
In this paper we study how to design proof-search methods for the multiplicative fragment of Mixed Linear Logic which combines both commutative and noncommutative connectives.
LP, Lambek calculus with Permutation, was introduced in van Benthem 1983; in retrospect, this the implication/fusion fragment of Multiplicative Intuitionistic Linear Logic (MILL).
Forgive a fragment of autobiography.
A fragment of a transistor radio.
"You get this fragment of a person".
A fragment of the axle has survived.
The full multiplicative form of multiple criteria consists both maximization and minimization of a purely multiplicative utility function.
Each target requires a large amount of processing because of the multiplicative effect of target charge states, isomers, possible insource fragments, and insource fragment charge states.
