Anaphora and Quantification in Categorial Grammar

Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Calculus is extended with a new connective. In the first part, its proof theory is introduced and the logical properties of the resulting calculus are discussed. In the second part, this system is applied to several linguistic phenomena concerning the interaction of pronominal anaphora, VP ellipsis and quantifier scope. Finally, a possible extension to cross-sentential anaphora is considered.

• Type: Conference
• Year: 1998
• Where: LACL
• Authors: Gerhard Jäger
• Keywords: Anaphoric Dependencies, Associative Lambek Calculus, Automated Reasoning, LACL 1998, Type Logical Reformulation