Context-Passing and Underspecification in Dependent Type Semantics

Daisuke Bekki, Koji Mineshima

研究成果: Chapter

6 被引用数 (Scopus)

抄録

Dependent type semantics (DTS) is a framework of discourse semantics based on dependent type theory, following the line of Sundholm (Handbook of Philosophical Logic, 1986) and Ranta (Type-Theoretical Grammar, 1994). DTS attains compositionality as required to serve as a semantic component of modern formal grammars including variations of categorial grammars, which is achieved by adopting mechanisms for local contexts, context-passing, and underspecified terms. In DTS, the calculation of presupposition projection reduces to type checking, and the calculation of anaphora resolution and presupposition binding both reduce to proof search in dependent type theory, inheriting the paradigm of anaphora resolution as proof construction.

本文言語English
ホスト出版物のタイトルStudies in Linguistics and Philosophy
出版社Springer Science and Business Media B.V.
ページ11-41
ページ数31
DOI
出版ステータスPublished - 2017
外部発表はい

出版物シリーズ

名前Studies in Linguistics and Philosophy
98
ISSN(印刷版)0924-4662
ISSN(電子版)2215-034X

ASJC Scopus subject areas

  • 言語および言語学
  • 哲学

フィンガープリント

「Context-Passing and Underspecification in Dependent Type Semantics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル