Type Logical Grammar Categorial Logic of Signs [Hardcover]

Notational Conventions. Foreword. 1. Montague Grammar. 2. Logic of Types and Types of Logic. 3. Categorial Grammar. 4. Enriching Categorial Grammar. 5. Intensionality and Binding. 6. Polymorphism. 7. Structural Control. 8. Extraction. 9. Conclusion. Appendix A: Interpretation of types. Appendix B: Gentzen Sequent Rules. Appendix C: Summary Grammar. Bibliography. Index.