Anaphora and ellipsis in type logical grammar
The paper suggests to extend the associative Lambek Calculus L with a third type of implication
("->"), whereby the category A -> B denotes signs of category B containing an unresolved
type-A anaphor (ellipsis). The resulting multi-modal calculus is extended by a controlled version of the
structural rule of Contraction, which accounts for anaphora resolution. This architecture allows for a unified
account of the interpretation of VP-ellipsis with anaphora and with focus, and it offers a compositional smeantics
of paycheck pronouns.
Gerhard Jäger