standard semantics

standard semantics

The standard interpretation of a term in some language yields the term's standard denotational semantics, i.e. its "meaning". This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain. The domain is the interpretation of the term's type. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We say that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e.g. an abstract interpretation.
References in periodicals archive ?
The proposed semantics stays close to the standard account: the epsilon-operator substitutes the universal quantifier present in standard semantics by arbitrarily binding the open world-variable.
In fact, you might want to make your data available as linked open data, which prescribes the general form of the data (RDF "triples" of the form "A is in relation B to C") without over-specifying what the universal standard semantics and terminology for your commons' topic should be.
On the other hand, the standard semantics for "actually" implies that sentences beginning with "actually" are never contingent.

Full browser ?