Interpretation function is the function mapping constants of predicate logic to their denotation in the universe of discourse. Individual constants are mapped to individuals and n-place predicate letters are mapped to sets of ordered n-tuples.
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.