Definition:Interpretation/Semantic Rule
Jump to navigation
Jump to search
Definition
Let $\struct {S, f}$ be an interpretation such that $S$ is the codomain of a mapping $f$ whose domain is a set of expressions of a formal language $\FF$.
The mapping $f$ is known as a semantic rule.
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