Glossary:Sorts/Types: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 19: | Line 19: | ||
== Related terms == | == Related terms == | ||
* [[Glossary: | * [[Glossary:Sorts/Types]] | ||
== Literature == | == Literature == | ||
Revision as of 07:55, 26 October 2012
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
Sorts/Types
AE:
- Type: (/taɪp/)
- Sort: (/sɔː(r)t/)
Definition
In logic and semantics a concept of type (or sort) is often used to distinguish different kinds of expression (and of semantic value). These types are used as syntactic categories for the expressions in the semantic representation language. Each type will correspond to a certain set of possible denotations.