Cargando…
Language in action : categories, lambdas, and dynamic logic /
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
1991.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 130. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Language in Action: Categories, Lambdas and Dynamic Logic; Copyright Page; Table of Contents; Preface; Chapter I Introduction; 1 Two Traditions; 2 Lambda Calculus and Theory of Types; 3 Categorial Grammar; Chapter II A Logical Perspective; 4 The Hierarchy of Implicational Logics; 5 Proofs, Terms and Meanings; Chapter III Proof Theory; 6 Exploring Categorial Deduction; 7 Cut Elimination and Decidability; 8 Recognizing Power; Chapter IV Model Theory; 9 Enumerating Readings; 10 Computing Denotational Constraints; 11 Boolean Structure; Chapter V Variations and Extensions
- 12 Intensionality13 Variable Polymorphism and Higher Type Theories; Chapter VI Toward a Logic of Information; 14 Language Families; 15 Modal Logic of Information Patterns; 16 Relational Algebra of Control; 17 Dynamic Logic; Chapter VII A Tour of Basic Logic; Bibliography; Index