Semantic Value
Denote “semantic value” by “SIV”
- I is an interpretation
- V is a variable assignment
Semantic value of a constant
- SIV(<constant>) = I(<constant>)
Semantic value of a variable
- SIV(<variable>) = V(<variable>)
Semantic value of a function term
- SIV((fn term1 … termn)) =
The object O such that áSIV(term1) … SIV (termn) Oń is a member of set I(fn)
- SIV((fn term1 … termn @var)) =
The object O such that áSIV(term1) … SIV(termn) | V(@var) Oń is a member of set I(fn)