Topic: HUMAN SEMANTICS
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
by Chris Fox and Shalom Lappin
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. 1We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most . We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of this phenomenon.
Download
Posted by Tony Marmo
at 09:07 BST
Updated: Wednesday, 25 August 2004 09:34 BST
