Sentence examples for language operator from inspiring English sources

Each of the properties will be then paired with a language operator such that the addition of that operator to a language adds the capability of defining all periodicities having the corresponding property.

In "Modalities and Quantification" (1946) and in Meaning and Necessity (1947), Carnap interprets the object language operator of necessity as expressing at the object level the semantic notion of logical truth: "[T]he guiding idea in our constructions of systems of modal logic is this: a proposition p is logically necessary if and only if a sentence expressing p is logically true.

In what follows, we shall suppose (a) that we've added to our language the # operator and can formulate terms such as #F to signify the number of the concept F, and (b) that we've added Hume's Principle as an axiom to our second-order system.

The survey by Cugola and Margara introduces a framework of models that capture the key aspects of DSMSs and CEP systems [11], such as the data and processing models, the processing language and operators, and the semantics of time.

One way to achieve this is to introduce in the object language two operators (V and F) in order to express the constraint that the antecedent of a connexive implication must be verifiable, and the consequent must be falsifiable (i.e. not valid).

However, as Dizzy's command language has operators that cannot be captured in SBML 3.1, and SBML 3.1 has features not supported by Dizzy, this feature is restricted to the intersection of the modelling languages.

If your language supports operators overloading, understand it.

Both languages provide operators based on the Relational Algebra to allow handling of relations - a highly required feature of BIM QLs.

But far from a Quinean quirk of English and/or Latin usage, "neg-raising"—the lower-clause understanding of negation of a believe- or ought-type predicate is distributed widely and systematically across languages and operators.

On the other hand, action languages include operators like and <ν> which are prefixed to a well-formed formula A. On Segerberg's interpretation, A (<ν>A) mean that 'after every (some) way of performing action ν it is the case that A'.

The first letter of this acronym determine the language features the operator is related to.