|
|
|
|
| LEADER |
08511nam a2200841Ka 4500 |
| 001 |
d48a6ba7-4adb-45b1-86a4-3755db24a81b |
| 005 |
20240811000000.0 |
| 008 |
120124s1988 ne ob 000 0 eng d |
| 019 |
|
|
|a 579626362
|a 606425831
|a 762099701
|a 974197143
|a 974434656
|a 1047695433
|a 1119036642
|a 1156414163
|a 1157097914
|a 1178537929
|a 1247715966
|a 1257380883
|
| 019 |
|
|
|a 579626362
|a 606425831
|a 762099701
|a 974197143
|a 974434656
|a 1047695433
|a 1119036642
|a 1156414163
|a 1157097914
|a 1178537929
|
| 020 |
|
|
|a 6613330825
|
| 020 |
|
|
|a 9027278687
|q (electronic bk.)
|
| 020 |
|
|
|a 9786613330826
|
| 020 |
|
|
|a 9789027278685
|q (electronic bk.)
|
| 020 |
|
|
|z 9027215308
|
| 020 |
|
|
|z 9789027215307
|
| 035 |
|
|
|a (OCoLC)773755036
|z (OCoLC)579626362
|z (OCoLC)606425831
|z (OCoLC)762099701
|z (OCoLC)974197143
|z (OCoLC)974434656
|z (OCoLC)1047695433
|z (OCoLC)1119036642
|z (OCoLC)1156414163
|z (OCoLC)1157097914
|z (OCoLC)1178537929
|z (OCoLC)1247715966
|z (OCoLC)1257380883
|
| 035 |
|
|
|a (OCoLC)773755036
|z (OCoLC)579626362
|z (OCoLC)606425831
|z (OCoLC)762099701
|z (OCoLC)974197143
|z (OCoLC)974434656
|z (OCoLC)1047695433
|z (OCoLC)1119036642
|z (OCoLC)1156414163
|z (OCoLC)1157097914
|z (OCoLC)1178537929
|
| 035 |
|
9 |
|a (OCLCCM-CC)773755036
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d OCLCE
|d IDEBK
|d E7B
|d OCLCQ
|d OCLCA
|d OCLCF
|d YDXCP
|d OCLCQ
|d AGLDB
|d OCLCQ
|d VTS
|d AU@
|d STF
|d AJS
|d OCLCA
|d OCLCQ
|d OCLCO
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d OCLCE
|d IDEBK
|d E7B
|d OCLCQ
|d OCLCA
|d OCLCF
|d YDXCP
|d OCLCQ
|d AGLDB
|d OCLCQ
|d VTS
|d AU@
|d STF
|d AJS
|d OCLCA
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a MAIN
|
| 050 |
|
4 |
|a P161
|b .C38 1988eb
|
| 072 |
|
7 |
|a CF
|2 bicssc
|
| 072 |
|
7 |
|a LAN
|x 006000
|2 bisacsh
|
| 072 |
|
7 |
|a LAN
|x 009060
|2 bisacsh
|
| 082 |
0 |
4 |
|a 415
|2 22
|
| 084 |
|
|
|a 31.10
|2 bcl
|
| 245 |
0 |
0 |
|a Categorial grammar /
|c edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
|
| 260 |
|
|
|a Amsterdam ;
|a Philadelphia :
|b Benjamins,
|c 1988
|
| 300 |
|
|
|a 1 online resource (viii, 365 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Linguistic & literary studies in Eastern Europe ;
|v v. 25
|
| 504 |
|
|
|a Bibliography: page
|
| 505 |
0 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 520 |
|
|
|a 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. The first, introductory part, contains the editor's addresses and two survey chapters concerning the history (W. Marciszewski) and current trends of the discipline (J.van Benthem). The second part consists of 10 chapters devoted to categorial grammar proper, and the third part 7 chapters devoted to areas close to categorial grammar. Most of the contributions are original papers, but five of them are reprints of classics (M.J. Cresswell, P.T. Geach, H. Hiz, J. Lambek, T. Potts)
|
| 533 |
|
|
|a Electronic reproduction
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction
|b [S.l.] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record
|
| 596 |
|
|
|a 22
|
| 650 |
|
0 |
|a Categorial grammar
|
| 650 |
|
6 |
|a Grammaire catégorielle
|
| 650 |
|
6 |
|a Grammaire catégorielle
|
| 650 |
|
7 |
|a Aufsatzsammlung
|2 gnd
|
| 650 |
|
7 |
|a Categorial grammar
|2 fast
|
| 650 |
|
7 |
|a Kategorialgrammatik
|2 gnd
|
| 650 |
|
7 |
|a LANGUAGE ARTS & DISCIPLINES
|x Grammar & Punctuation
|2 bisacsh
|
| 650 |
|
7 |
|a LANGUAGE ARTS & DISCIPLINES
|x Linguistics
|x Syntax
|2 bisacsh
|
| 650 |
0 |
7 |
|a Aufsatzsammlung
|2 swd
|
| 650 |
0 |
7 |
|a Kategorialgrammatik
|2 swd
|
| 650 |
1 |
7 |
|a Categoriale grammatica
|2 gtt
|
| 655 |
|
0 |
|a Electronic books
|
| 655 |
|
4 |
|a Electronic books
|
| 700 |
1 |
|
|a Benthem, Johan van,
|d 1949-
|
| 700 |
1 |
|
|a Buszkowski, Wojciech
|
| 700 |
1 |
|
|a Marciszewski, Witold
|
| 776 |
0 |
8 |
|i Print version:
|t Categorial grammar
|d Amsterdam ; Philadelphia : Benjamins, 1988
|z 9027215308
|w (DLC) 88000338
|w (OCoLC)17441586
|
| 830 |
|
0 |
|a Linguistic & literary studies in Eastern Europe ;
|v v. 25
|
| 999 |
1 |
0 |
|i d48a6ba7-4adb-45b1-86a4-3755db24a81b
|l a13033899
|s US-CST
|m categorial_grammar_________________________________________________________1988_______benjaa___________________________________________________________________________e
|
| 999 |
1 |
0 |
|i d48a6ba7-4adb-45b1-86a4-3755db24a81b
|l 11123523
|s US-ICU
|m categorial_grammar_________________________________________________________1988_______benjaa___________________________________________________________________________e
|
| 999 |
1 |
1 |
|l a13033899
|s ISIL:US-CST
|t BKS
|a SUL INTERNET
|b 13033899-1001
|c INTERNET RESOURCE
|d ASIS
|x SUL
|y 13033899-1001
|p UNLOANABLE
|