Interpretation function
Jump to navigation
Jump to search
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.
Link
Utrecht Lexicon of Linguistics
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
