Definition:Interpretation/Semantic Value

Definition

Let $\struct {S, f}$ be an interpretation such that $S$ is the codomain of a semantic rule $f$ whose domain is a set of expressions $\EE$ of a formal language $\FF$.

The image $s \in S$ of an expression $e \in \EE$ under $f$ is known as the semantic value of $e$.

Also see

• Results about interpretations can be found here.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): interpretation
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): interpretation