Sunday, March 29 2020, 06:19 am
Factivity and Presupposition in Dependent Type Semantics

Factivity and Presupposition in Dependent Type Semantics

Factivity and Presupposition in Dependent Type Semantics⋆ Ribeka Tanaka1, Koji Mineshima1;2, and Daisuke Bekki1;2 1 Ochanomizu University 2 CREST, Japan Science and Technology Agency ftanaka.ribeka, [email protected], [email protected] 1 Introduction Dependent Type Semantics (DTS, Bekki [3]) is a framework of natural language se-