Cargando…
Categorial grammar /
This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other topics related to categorial grammar and to philosophical and linguistic applications of this framework. The volume consists of three parts...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Philadelphia :
Benjamins,
1988.
|
| Colección: | Linguistic & literary studies in Eastern Europe ;
v. 25. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- CATEGORIAL GRAMMAR; Editorial page; Title page; Copyright page; LIST OF CONTRIBUTORS; Table of contents; I. EDITORIAL INTRODUCTION; 1. Announcing the volume; 2. A chronicle of categorial grammar; 1. Basic definitions; 2. Syntactic connexion; 3. Categorial grammar and the theory of semantic and syntactic categories; 4. Categorial grammar compared with other formal grammars; 5. Terminological and notational variants; 3. New trends in categorial grammar; 1. Past; 2. Present; 3. Future; REFERENCES; II. STUDIES IN CATEGORIAL GRAMMAR; 1. The semantics of variety in categorial grammar.
- 1. Categorial grammar1.1. The original idea; 1.2. More flexible versions; 1.3. The Lambek calculus.; 1.4. Logical questions; 2. Semantics for type change; 2.1. Lambda-terms as type changers; 2.2. A completeness theorem; 2.3. Associated calculi of natural deduction; 3. Variation in outcomes; 3.1. The range of outcomes for a sequence; 3.2. The range of readings for an outcome; 4. Discussion; ACKNOWLEDGEMENT; REFERENCES; ADDENDUM; 2. Three theories of categorial grammar; 1. Prologue; 2. The classical theory; 2.1. Theorem:; 2.2. Theorem:; 2.3. Theorem:; 3. The algebraic theory; 3.1. Theorem.
- 3.2. Theorem:3.3 Theorem:; 3.4. Theorem:; 3.5. Theorem:; 4. The semantical theory; 4.1 Theorem:; 4.2. Theorem:; 4.3. Theory:; 4.4. Theorem:; 4.5. Theorem:; 5. Epilogue; REFERENCES; NOTES; 3. Categorial grammars and list automata for strata of non-CF-Languages; 0. Summary; 1. Introduction; 1.1. What is the nature of categorial grammar thus generalized?; 2. Categorial grammars; 2.1. Definition; 2.2. Definition:; 2.3. Example:; 2.4. Definition:; 2.5. Theorem:; 2.6. Example:; 2.7. Definition:; 2.8. Definition:; 2.9. Definition:; 2.10. Definition:; 2.11. Theorem:; 3. List automata.
- 3.1. Definition:3.2. Definition:; 3.3 Definition:; 3.4. Definition:; 3.5. Lemma:; 3.6. Lemma.; 3.7. Construction:; 3.8. Theorem:; 3.9. Definition:; 3.10. Definition:; 3.11. Theorem:; 4. Conclusion; REFERENCES; 4. Categorial languages; REFERENCES; NOTES; 5. A program for syntax; 1. Verbs; 2. Conjunctions; 3. Adverbs; 4. Prepositions; 5. Relative pronouns; 6. The non-associative Lambek calculus; 0. Introduction; 1. The system NL and its semantics; 1.1 Theorem:; 2. NLGo as an axiomatic extension of the Ajdukiewicz calculus; 2.1. Lemma:; 2.2. Lemma:; 2.3. Lemma; 2.4. Lemma; 2.5. Lemma; 2.6. Lemma.
- 2.7. Corollary2.8. Lemma; 2.9. Theorem; 3. The non-finite axiomatizabUity of NLG0 over NA; 3.1. Lemma; 3.2. Lemma; 3.3. Lemma; 3.4. Lemma; 3.5. CoroUary; 3.6. Theorem; REFERENCES; 7. The mathematics of sentence structure*; 1. Introduction; 2. Syntactic types; 3. Type list for a fragment of English; 4. Formal systems; 5. Type computations in English; 6. Pronouns; 7. Syntactic calculus; 8. Decision procedure; 9. Proof of Gentzen's theorem; 10. Algebraic remarks; NOTES; REFERENCES; 8. A philosophical introduction to categorial and extended categorial grammar; 1. Grammars-abstract and concrete.