Research on quantifiers in Japanese on the basis of Dynamic Syntax and Type-theoretical Semantics

点击翻译按钮获取中文摘要

This research provides a basis for a formal framework to account for issues regarding quantifiers and N'-deletion phenomena in Japanese, based on type-theoretical multi-modal Categorical Grammar and Dynamic Syntax. In the framework proposed, structural rules such as commutativity, thinning, weakening and elimination rules attuned to the phenomena above are added to the substructural logic to interpret sentences with quantifiers or N'-deletion in Japanese. Semantic representations are composed and represented parallel to syntactic operations defined in this research. They are considered to be logical formulae that represent the meanings of input sentences. The model proposed in this research is implemented in Prolog, and the system also outputs a history of rule applications and scope taking.