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...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Philadelphia :
Benjamins,
1988.
|
| Schriftenreihe: | Linguistic & literary studies in Eastern Europe ;
v. 25. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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). |
| Beschreibung: | 1 online resource (viii, 365 pages) |
| Format: | 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. |
| Bibliographie: | Bibliography: page |
| ISBN: | 9789027278685 9027278687 6613330825 9786613330826 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn773755036 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120124s1988 ne ob 000 0 eng d | ||
| 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 |d CNNOR |d OCLCO |d OCLCQ |d OCLCO | ||
| 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 |a 1295333305 |a 1295376281 | ||
| 020 | |a 9789027278685 |q (electronic bk.) | ||
| 020 | |a 9027278687 |q (electronic bk.) | ||
| 020 | |a 6613330825 | ||
| 020 | |a 9786613330826 | ||
| 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 |z (OCoLC)1295333305 |z (OCoLC)1295376281 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a P161 |b .C38 1988eb | |
| 072 | 7 | |a LAN |x 006000 |2 bisacsh | |
| 072 | 7 | |a LAN |x 009060 |2 bisacsh | |
| 072 | 7 | |a CF |2 bicssc | |
| 082 | 7 | |a 415 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 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 | ||
| 588 | 0 | |a Print version record. | |
| 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). | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |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 | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 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 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. | |
| 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 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. | |
| 650 | 0 | |a Categorial grammar. |0 http://id.loc.gov/authorities/subjects/sh85020991 | |
| 650 | 6 | |a Grammaire catégorielle. | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Grammar & Punctuation. |2 bisacsh | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Linguistics |x Syntax. |2 bisacsh | |
| 650 | 7 | |a Categorial grammar |2 fast | |
| 650 | 7 | |a Kategorialgrammatik |2 gnd |0 http://d-nb.info/gnd/4263781-8 | |
| 650 | 7 | |a Aufsatzsammlung |2 gnd |0 http://d-nb.info/gnd/4143413-4 | |
| 650 | 1 | 7 | |a Categoriale grammatica. |2 gtt |
| 700 | 1 | |a Buszkowski, Wojciech. | |
| 700 | 1 | |a Marciszewski, Witold. | |
| 700 | 1 | |a Benthem, Johan van, |d 1949- |0 http://id.loc.gov/authorities/names/n82138606 | |
| 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. |0 http://id.loc.gov/authorities/names/n42015433 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=407357 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10594517 | ||
| 938 | |a EBSCOhost |b EBSC |n 407357 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 333082 | ||
| 938 | |a YBP Library Services |b YANK |n 7429193 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn773755036 |
|---|---|
| _version_ | 1816881783594024961 |
| adam_text | |
| any_adam_object | |
| author2 | Buszkowski, Wojciech Marciszewski, Witold Benthem, Johan van, 1949- |
| author2_role | |
| author2_variant | w b wb w m wm j v b jv jvb |
| author_GND | http://id.loc.gov/authorities/names/n82138606 |
| author_facet | Buszkowski, Wojciech Marciszewski, Witold Benthem, Johan van, 1949- |
| author_sort | Buszkowski, Wojciech |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | P - Language and Literature |
| callnumber-label | P161 |
| callnumber-raw | P161 .C38 1988eb |
| callnumber-search | P161 .C38 1988eb |
| callnumber-sort | P 3161 C38 41988EB |
| callnumber-subject | P - Philology and Linguistics |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)773755036 |
| dewey-full | 415 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415 |
| dewey-search | 415 |
| dewey-sort | 3415 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07436cam a2200757 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn773755036</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">120124s1988 ne ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCE</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCF</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">AU@</subfield><subfield code="d">STF</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">CNNOR</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">579626362</subfield><subfield code="a">606425831</subfield><subfield code="a">762099701</subfield><subfield code="a">974197143</subfield><subfield code="a">974434656</subfield><subfield code="a">1047695433</subfield><subfield code="a">1119036642</subfield><subfield code="a">1156414163</subfield><subfield code="a">1157097914</subfield><subfield code="a">1178537929</subfield><subfield code="a">1247715966</subfield><subfield code="a">1257380883</subfield><subfield code="a">1295333305</subfield><subfield code="a">1295376281</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789027278685</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9027278687</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6613330825</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786613330826</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9027215308</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789027215307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)773755036</subfield><subfield code="z">(OCoLC)579626362</subfield><subfield code="z">(OCoLC)606425831</subfield><subfield code="z">(OCoLC)762099701</subfield><subfield code="z">(OCoLC)974197143</subfield><subfield code="z">(OCoLC)974434656</subfield><subfield code="z">(OCoLC)1047695433</subfield><subfield code="z">(OCoLC)1119036642</subfield><subfield code="z">(OCoLC)1156414163</subfield><subfield code="z">(OCoLC)1157097914</subfield><subfield code="z">(OCoLC)1178537929</subfield><subfield code="z">(OCoLC)1247715966</subfield><subfield code="z">(OCoLC)1257380883</subfield><subfield code="z">(OCoLC)1295333305</subfield><subfield code="z">(OCoLC)1295376281</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">P161</subfield><subfield code="b">.C38 1988eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">006000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">009060</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">CF</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">415</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Categorial grammar /</subfield><subfield code="c">edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Philadelphia :</subfield><subfield code="b">Benjamins,</subfield><subfield code="c">1988.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 365 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Linguistic & literary studies in Eastern Europe ;</subfield><subfield code="v">v. 25</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Bibliography: page</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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).</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="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.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Categorial grammar.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85020991</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Grammaire catégorielle.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Grammar & Punctuation.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Linguistics</subfield><subfield code="x">Syntax.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categorial grammar</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kategorialgrammatik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4263781-8</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4143413-4</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Categoriale grammatica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buszkowski, Wojciech.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marciszewski, Witold.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van,</subfield><subfield code="d">1949-</subfield><subfield code="0">http://id.loc.gov/authorities/names/n82138606</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Categorial grammar.</subfield><subfield code="d">Amsterdam ; Philadelphia : Benjamins, 1988</subfield><subfield code="z">9027215308</subfield><subfield code="w">(DLC) 88000338</subfield><subfield code="w">(OCoLC)17441586</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Linguistic & literary studies in Eastern Europe ;</subfield><subfield code="v">v. 25.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015433</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=407357</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10594517</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">407357</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">333082</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7429193</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn773755036 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:18:12Z |
| institution | BVB |
| isbn | 9789027278685 9027278687 6613330825 9786613330826 |
| language | English |
| oclc_num | 773755036 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 365 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Benjamins, |
| record_format | marc |
| series | Linguistic & literary studies in Eastern Europe ; |
| series2 | Linguistic & literary studies in Eastern Europe ; |
| spelling | Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem. Amsterdam ; Philadelphia : Benjamins, 1988. 1 online resource (viii, 365 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Linguistic & literary studies in Eastern Europe ; v. 25 Bibliography: page Print version record. 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). Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL 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. Categorial grammar. http://id.loc.gov/authorities/subjects/sh85020991 Grammaire catégorielle. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Categorial grammar fast Kategorialgrammatik gnd http://d-nb.info/gnd/4263781-8 Aufsatzsammlung gnd http://d-nb.info/gnd/4143413-4 Categoriale grammatica. gtt Buszkowski, Wojciech. Marciszewski, Witold. Benthem, Johan van, 1949- http://id.loc.gov/authorities/names/n82138606 Print version: Categorial grammar. Amsterdam ; Philadelphia : Benjamins, 1988 9027215308 (DLC) 88000338 (OCoLC)17441586 Linguistic & literary studies in Eastern Europe ; v. 25. http://id.loc.gov/authorities/names/n42015433 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=407357 Volltext |
| spellingShingle | Categorial grammar / Linguistic & literary studies in Eastern Europe ; 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. Categorial grammar. http://id.loc.gov/authorities/subjects/sh85020991 Grammaire catégorielle. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Categorial grammar fast Kategorialgrammatik gnd http://d-nb.info/gnd/4263781-8 Aufsatzsammlung gnd http://d-nb.info/gnd/4143413-4 Categoriale grammatica. gtt |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85020991 http://d-nb.info/gnd/4263781-8 http://d-nb.info/gnd/4143413-4 |
| title | Categorial grammar / |
| title_auth | Categorial grammar / |
| title_exact_search | Categorial grammar / |
| title_full | Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem. |
| title_fullStr | Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem. |
| title_full_unstemmed | Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem. |
| title_short | Categorial grammar / |
| title_sort | categorial grammar |
| topic | Categorial grammar. http://id.loc.gov/authorities/subjects/sh85020991 Grammaire catégorielle. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Categorial grammar fast Kategorialgrammatik gnd http://d-nb.info/gnd/4263781-8 Aufsatzsammlung gnd http://d-nb.info/gnd/4143413-4 Categoriale grammatica. gtt |
| topic_facet | Categorial grammar. Grammaire catégorielle. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. Categorial grammar Kategorialgrammatik Aufsatzsammlung Categoriale grammatica. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=407357 |
| work_keys_str_mv | AT buszkowskiwojciech categorialgrammar AT marciszewskiwitold categorialgrammar AT benthemjohanvan categorialgrammar |