Second-order logic without variables

Chapters in this book

1. Prelim pages i
2. Table of contents vii
3. Part I. Editorial introduction
4. Announcing the volume 3
5. A chronicle of categorial grammar 7
6. New trends in categorial grammar 23
7. Part II. Studies in categorial grammar
8. The semantics of variety in categorial grammar 37
9. Three theories of categorial grammar 57
10. Categorial grammars and list automata for strata of non-CF-languages 85
11. Categorial languages 113
12. A program for syntax 127
13. The non-associative Lambek calculus 141
14. The mathematics of sentence structure 153
15. A philosophical introduction to categorial and extended categorial grammar 173
16. How freely can categories be assigned to expressions of natural language? A case study 197
17. Fregean grammar 221
18. Part III. Borderlines of categorial grammar
19. Second-order logic without variables 245
20. Grammar logicism 265
21. “Linguistic constructions” in transparent intensional logic 283
22. Montague logic and its extensions 301
23. Configurations and pseudoconfigurations in algebraic linguistics 325
24. Grammatical categories 333
25. Towards a formal semiotics 357