Categorial grammar: logical syntax, semantics, and processing
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2011
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Oxford linguistics
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 236 S. graph. Darst. |
| ISBN: | 9780199589869 9780199589852 |
Internformat
MARC
| LEADER | 00000nam a22000002c 4500 | ||
|---|---|---|---|
| 001 | BV036488991 | ||
| 003 | DE-604 | ||
| 005 | 20110404 | ||
| 007 | t | ||
| 008 | 100608s2011 d||| |||| 00||| eng d | ||
| 020 | |a 9780199589869 |c pbk |9 978-0-19-958986-9 | ||
| 020 | |a 9780199589852 |c hbk |9 978-0-19-958985-2 | ||
| 035 | |a (OCoLC)699542398 | ||
| 035 | |a (DE-599)BSZ323832458 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-20 |a DE-355 |a DE-739 |a DE-824 |a DE-11 |a DE-473 | ||
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a ET 180 |0 (DE-625)27950: |2 rvk | ||
| 100 | 1 | |a Morrill, Glyn V. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Categorial grammar |b logical syntax, semantics, and processing |c Glyn V. Morrill |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2011 | |
| 300 | |a XIII, 236 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford linguistics | |
| 650 | 0 | 7 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambek-Kalkül |0 (DE-588)4737091-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Lambek-Kalkül |0 (DE-588)4737091-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020411625&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020411625 | ||
Datensatz im Suchindex
| _version_ | 1804143049817718784 |
|---|---|
| adam_text | Contents
Preface viii
Acknowledgements
ix
List of figures x
List of tables
xiv
Abbreviations and symbols
xv
Part I. Lambek
Categorial
Grammar
ι.
Introduction
3
1.1.
Formal grammar
3
1.2.
Categorial
syntax
4
1.3.
Categorial
semantics
7
1.4.
Categorial
processing
8
1.5.
Outline of the book
8
2.
Syntax
10
2.1.
Categorial
logic
11
2.2.
Proof theory of
categorial
connectives
12
2.3.
Model theory of
categorial
connectives
14
2.4.
Lambek
categorial
grammar
16
2.5.
Cut-elimination
18
3.
Semantics
21
3.1.
Intuitionistic implication and conjunction
23
3.2.
Typed lambda calculus and the Curry-Howard
correspondence
25
3.3.
Semantic readings of the Lambek calculus
(derivational semantics)
29
3.4.
Classical propositional logic
31
3.5.
Classical first-order logic
35
3.6.
Classical higher-order logic
36
3.7.
Lexical semantics
37
3.8.
Natural deduction for the Lambek calculus
39
3.9.
Natural deduction for the Lambek calculus with
semantic annotation
42
3.10.
Coordination of standard and non-standard constituents
44
VI
CONTENTS
4.
Processing
5і
4.1.
Introduction
52
4.2.
Proof nets for the Lambek calculus
53
4.3.
The semantic trip and the semantic reading of a proof net
58
4.4.
Incremental parsing algorithm and complexity metric
60
4.5.
Predicting performance
66
Part II. Logical
Categorial
Grammar
5.
Bracket operators for extraction
83
5.1.
Theory
84
5.2.
Application
86
5.3.
Medial extraction
87
5.4.
Semigrammaticality
89
5.5.
Parasitic extraction
91
6.
Discontinuity operators
95
6.1.
Introduction
95
6.2.
Theory of discontinuous Lambek calculus
96
6.3.
Applications of discontinuous Lambek calculus
105
7.
Additive operators for polymorphism
128
7.1.
Curry-Howard semantic interpretation
130
7.2.
Polymorphism
132
7.3.
Coordination of unlike types
134
8.
Modality for intensionality
139
8.1.
Modal Lambek calculus
140
8.2.
Intensional lambda calculus
140
8.3.
Curry-Howard semantic interpretation
142
8.4.
Example intensional fragment
143
Part III. Further Processing Issues
9.
Aphasie
comprehension
151
9.1.
Grammar of the experiment sentence types
152
9.2.
Sentences
152
9.3.
Results
163
10.
Lexico-syntactic interaction
167
10.1.
Nets
!б8
10.2.
Words ijf,
10.3. Sentences
18Ą
CONTENTS
VII
п.
Memoizing Lambek
theorem-proving
189
u.i. Background
190
11.2.
Chart theorem-proving
191
12.
Conclusion
197
12.1.
Grammar
197
12.2.
Processing
199
12.3.
Open problems
201
A. Mathematical background
203
Ал.
Naturals
203
A.2. Sets
204
A.3. Mappings
205
A.4. More operations on sets
206
A.5. Data structures and formal languages
206
A.
6.
Relations
207
A.7. Operations
207
A.8. Algebras
208
A.9. Structures
209
A.10.
Hörnornor
phisms
210
A.n.
Decidability
210
A.12. Computational time complexity
212
B. Prolog Implementation
213
B.i. Program listing
213
B.2. Session log
217
References
218
Index
227
|
| any_adam_object | 1 |
| author | Morrill, Glyn V. |
| author_facet | Morrill, Glyn V. |
| author_role | aut |
| author_sort | Morrill, Glyn V. |
| author_variant | g v m gv gvm |
| building | Verbundindex |
| bvnumber | BV036488991 |
| classification_rvk | ER 620 ET 180 |
| ctrlnum | (OCoLC)699542398 (DE-599)BSZ323832458 |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01543nam a22003972c 4500</leader><controlfield tag="001">BV036488991</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110404 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100608s2011 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199589869</subfield><subfield code="c">pbk</subfield><subfield code="9">978-0-19-958986-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199589852</subfield><subfield code="c">hbk</subfield><subfield code="9">978-0-19-958985-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699542398</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ323832458</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 180</subfield><subfield code="0">(DE-625)27950:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Morrill, Glyn V.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Categorial grammar</subfield><subfield code="b">logical syntax, semantics, and processing</subfield><subfield code="c">Glyn V. Morrill</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 236 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Oxford linguistics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambek-Kalkül</subfield><subfield code="0">(DE-588)4737091-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lambek-Kalkül</subfield><subfield code="0">(DE-588)4737091-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020411625&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020411625</subfield></datafield></record></collection> |
| id | DE-604.BV036488991 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:41:29Z |
| institution | BVB |
| isbn | 9780199589869 9780199589852 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020411625 |
| oclc_num | 699542398 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-20 DE-355 DE-BY-UBR DE-739 DE-824 DE-11 DE-473 DE-BY-UBG |
| owner_facet | DE-19 DE-BY-UBM DE-20 DE-355 DE-BY-UBR DE-739 DE-824 DE-11 DE-473 DE-BY-UBG |
| physical | XIII, 236 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| series2 | Oxford linguistics |
| spelling | Morrill, Glyn V. Verfasser aut Categorial grammar logical syntax, semantics, and processing Glyn V. Morrill 1. publ. Oxford [u.a.] Oxford Univ. Press 2011 XIII, 236 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford linguistics Kategorialgrammatik (DE-588)4263781-8 gnd rswk-swf Lambek-Kalkül (DE-588)4737091-9 gnd rswk-swf Lambek-Kalkül (DE-588)4737091-9 s DE-604 Kategorialgrammatik (DE-588)4263781-8 s Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020411625&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Morrill, Glyn V. Categorial grammar logical syntax, semantics, and processing Kategorialgrammatik (DE-588)4263781-8 gnd Lambek-Kalkül (DE-588)4737091-9 gnd |
| subject_GND | (DE-588)4263781-8 (DE-588)4737091-9 |
| title | Categorial grammar logical syntax, semantics, and processing |
| title_auth | Categorial grammar logical syntax, semantics, and processing |
| title_exact_search | Categorial grammar logical syntax, semantics, and processing |
| title_full | Categorial grammar logical syntax, semantics, and processing Glyn V. Morrill |
| title_fullStr | Categorial grammar logical syntax, semantics, and processing Glyn V. Morrill |
| title_full_unstemmed | Categorial grammar logical syntax, semantics, and processing Glyn V. Morrill |
| title_short | Categorial grammar |
| title_sort | categorial grammar logical syntax semantics and processing |
| title_sub | logical syntax, semantics, and processing |
| topic | Kategorialgrammatik (DE-588)4263781-8 gnd Lambek-Kalkül (DE-588)4737091-9 gnd |
| topic_facet | Kategorialgrammatik Lambek-Kalkül |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020411625&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT morrillglynv categorialgrammarlogicalsyntaxsemanticsandprocessing |