Difference between revisions of "Interpretation function"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(No difference)
|
Latest revision as of 17:21, 15 February 2009
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.
