Book2011

Type Logical Grammar: Categorial Logic of Signs

251 citations0/0 files stored

No readable copy stored yet — this record is metadata only.

Syntax, Semantics, Linguistic Variation Logic, programming, and type systems Logic, Reasoning, and Knowledge

Abstract

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.

Citations in this library

Stored only when both papers are in the corpus — 251 citations exist upstream.

Cited by

2001Towards abstract categorial grammars 2001Optimality Theoretic Semantics 2000Grammatical acquisition: Inductive bias and coevolution of language and the language acquisition device 2003Multi-modal combinatory categorial grammar 2006Towards a Montagovian Account of Dynamics 2010The Displacement Calculus 1996The Coordination of Unlike Categories 2014Continuations and Natural Language

Imported from OpenAlex (CC0) — nothing here is generated.