Anaphora and Type Logical Grammar

List of Tables. Preface. Acknowledgments. Type Logical Grammar: The Framework. Basic Categorial Grammar. Combinators and Type Logical Grammar. Historical and bibliographical remarks.- The Problem of Anaphora. Anaphora and semantic resource sensitivity. Variables in TLG. Previous Categorial approaches to anaphora. Summary.- Lambek Calculus with Limited Contraction. The agenda. Contraction? The Logic LLC. Relation to Jacobson's system.- Pronouns and Quantification. Basic cases. Binding by wh-operators. Binding by quantifiers. Weak crossover. Precedence versus c-command. Backward binding and reconstruction.- Verb Phrase Ellipsis. Introduction. VPE: The basic idea. Interaction with pronominal anaphora. Interaction of VPE and quantification. VPE and Polymorphism. Parallelism versus source ambiguity.- Indefinites. Introduction. Dekker's Predicate Logic with Anaphora. ringing PLA into TLG. Donkey sentences. Indefinites and scope. Sluicing. Summary and desiderata.- References. Index.