Contextual Analysis of Word Meanings in Type-Theoretical Semantics
Contextual Analysis of Word Meanings in Type-Theoretical Semantics
复制标题
类型理论语义学中词义的语境分析
DOI：
10.1007/978-3-642-22221-4_11
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Zhaohui Luo
中科院分区：
文献类型：
--
作者：
Zhaohui Luo
词义是上下文敏感的，在不同的情况下可能会发生变化。在本文中，我们考虑如何上下文和相关的上下文意义的话可能会表示在类型理论语义学，形式语义学的基础上现代类型理论。它示出，特别是，强制子类型的框架提供了各种有用的工具，在表示。
Word meanings are context sensitive and may change in different situations. In this paper, we consider how contexts and the associated contextual meanings of words may be represented in type-theoretical semantics, the formal semantics based on modern type theories. It is shown, in particular, that the framework of coercive subtyping provides various useful tools in the representation.