TY - CHAP
T1 - Context-Passing and Underspecification in Dependent Type Semantics
AU - Bekki, Daisuke
AU - Mineshima, Koji
N1 - Funding Information:
Our sincere thanks to Kenichi Asai, Nicholas Asher, Kentaro Inui, Yusuke Kubota, Sadao Kurohashi, Robert Levine, Zhaohui Luo, Ribeka Tanaka and Ayumi Ueyama for many insightful comments. We also thank to Youyou Cong, Yuri Ishishita, Ayako Nakamura, Yuki Nakano, Miho Sato and Maika Utsugi for helpful discussions. This research is partially supported by JST, CREST.
Publisher Copyright:
© 2017, Springer International Publishing AG.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Anaphora Resolution
KW - Categorial Grammar
KW - Common Noun
KW - Natural Language Semantic
KW - Proof Term
UR - http://www.scopus.com/inward/record.url?scp=85026432527&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85026432527&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-50422-3_2
DO - 10.1007/978-3-319-50422-3_2
M3 - Chapter
AN - SCOPUS:85026432527
T3 - Studies in Linguistics and Philosophy
SP - 11
EP - 41
BT - Studies in Linguistics and Philosophy
PB - Springer Science and Business Media B.V.
ER -