Definition:Interpretation/Semantic Value
< Definition:Interpretation(Redirected from Definition:Semantic Value)
Jump to navigation
Jump to search
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
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): semantics
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): interpretation
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): semantics