Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
1991.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 130. |
| Subjects: | |
| Online Access: | Texto completo Texto completo |
Table of Contents:
- 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