Download PDFOpen PDF in browser

Paychecks, Presupposition, and Dependent Types

EasyChair Preprint 215

10 pagesDate: June 1, 2018

Abstract

This paper proposes an analysis of paycheck sentences in the framework of Dependent Type Semantics. We account for the anaphora resolution of paycheck pronouns by using dependent function types in dependent type theory. We argue that the presupposition of the possessive NP provides a function that contributes to the paycheck reading. The proposed analysis provides a uniform treatment of paycheck pronouns and standard referential pronouns, without introducing additional formal mechanisms to the system.

Keyphrases: Natural Language Semantic, anaphora, anaphora resolution, dependent function type, dependent type theory, paycheck pronouns, presupposition, proof-theoretic semantics

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:215,
  author    = {Ribeka Tanaka and Koji Mineshima and Daisuke Bekki},
  title     = {Paychecks, Presupposition, and Dependent Types},
  doi       = {10.29007/qw7n},
  howpublished = {EasyChair Preprint 215},
  year      = {EasyChair, 2018}}
Download PDFOpen PDF in browser