Meaning, logic and ludics /:
This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provi...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London :
Imperial College Press,
©2011.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's 'proof as meaning' approach, which was first based on Martin-Lof's Type Theory. Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students and academics alike, in the field of computational linguistics. |
| Beschreibung: | 1 online resource (xvii, 369 pages) |
| Bibliographie: | Includes bibliographical references (pages 353-361) and index. |
| ISBN: | 9781848164581 1848164580 1283234505 9781283234504 9786613234506 6613234508 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn754773605 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 110927s2011 enka ob 001 0 eng d | ||
| 010 | |z 2011453830 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d IDEBK |d E7B |d YDXCP |d CDX |d STF |d NJR |d OCLCQ |d OCLCF |d OCLCQ |d NLGGC |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFAG |d OCLCQ |d WRM |d OCLCQ |d VTS |d COCUF |d NRAMU |d VT2 |d OCLCQ |d WYU |d LEAUB |d UKAHL |d U3W |d UKCRE |d VLY |d OCLCQ |d OCLCO |d SFB |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SXB |d OCLCQ | ||
| 019 | |a 748215430 |a 816858892 |a 961512739 |a 962578844 |a 988486020 |a 991985784 |a 1037745713 |a 1038630881 |a 1045450163 |a 1058735345 |a 1086566976 |a 1097142209 |a 1137108575 |a 1153534869 |a 1162520441 |a 1241860806 |a 1290097017 |a 1300576902 | ||
| 020 | |a 9781848164581 |q (electronic bk.) | ||
| 020 | |a 1848164580 |q (electronic bk.) | ||
| 020 | |a 1283234505 | ||
| 020 | |a 9781283234504 | ||
| 020 | |a 9786613234506 | ||
| 020 | |a 6613234508 | ||
| 020 | |z 9781848164567 | ||
| 020 | |z 1848164564 | ||
| 035 | |a (OCoLC)754773605 |z (OCoLC)748215430 |z (OCoLC)816858892 |z (OCoLC)961512739 |z (OCoLC)962578844 |z (OCoLC)988486020 |z (OCoLC)991985784 |z (OCoLC)1037745713 |z (OCoLC)1038630881 |z (OCoLC)1045450163 |z (OCoLC)1058735345 |z (OCoLC)1086566976 |z (OCoLC)1097142209 |z (OCoLC)1137108575 |z (OCoLC)1153534869 |z (OCoLC)1162520441 |z (OCoLC)1241860806 |z (OCoLC)1290097017 |z (OCoLC)1300576902 | ||
| 050 | 4 | |a P98 |b .L39 2011eb | |
| 072 | 7 | |a COM |x 042000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 082 | 7 | |a 006.3/5 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Lecomte, Alain, |d 1947- |1 https://id.oclc.org/worldcat/entity/E39PCjyTD9cPdV7CpdV76XrwYd |0 http://id.loc.gov/authorities/names/no99043014 | |
| 245 | 1 | 0 | |a Meaning, logic and ludics / |c Alain Lecomte. |
| 260 | |a London : |b Imperial College Press, |c ©2011. | ||
| 300 | |a 1 online resource (xvii, 369 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 353-361) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a pt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics. | |
| 520 | |a This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's 'proof as meaning' approach, which was first based on Martin-Lof's Type Theory. Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students and academics alike, in the field of computational linguistics. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Computational linguistics. |0 http://id.loc.gov/authorities/subjects/sh85077224 | |
| 650 | 0 | |a Logic. |0 http://id.loc.gov/authorities/subjects/sh85078106 | |
| 650 | 6 | |a Linguistique informatique. | |
| 650 | 7 | |a computational linguistics. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Natural Language Processing. |2 bisacsh | |
| 650 | 7 | |a Computational linguistics |2 fast | |
| 650 | 7 | |a Logic |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Lecomte, Alain, 1947- |t Meaning, logic and ludics. |d London : Imperial College Press, ©2011 |z 9781848164567 |w (DLC) 2011453830 |w (OCoLC)426796350 |
| 856 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634 |3 Volltext | |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25564815 | ||
| 938 | |a Coutts Information Services |b COUT |n 18463566 | ||
| 938 | |a ebrary |b EBRY |n ebr10493525 | ||
| 938 | |a EBSCOhost |b EBSC |n 389634 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 323450 | ||
| 938 | |a YBP Library Services |b YANK |n 7135034 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn754773605 |
|---|---|
| _version_ | 1813903412910096384 |
| adam_text | |
| any_adam_object | |
| author | Lecomte, Alain, 1947- |
| author_GND | http://id.loc.gov/authorities/names/no99043014 |
| author_facet | Lecomte, Alain, 1947- |
| author_role | |
| author_sort | Lecomte, Alain, 1947- |
| author_variant | a l al |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | P - Language and Literature |
| callnumber-label | P98 |
| callnumber-raw | P98 .L39 2011eb |
| callnumber-search | P98 .L39 2011eb |
| callnumber-sort | P 298 L39 42011EB |
| callnumber-subject | P - Philology and Linguistics |
| collection | ZDB-4-EBA |
| contents | pt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics. |
| ctrlnum | (OCoLC)754773605 |
| dewey-full | 006.3/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/5 |
| dewey-search | 006.3/5 |
| dewey-sort | 16.3 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04554cam a2200637 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn754773605</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">110927s2011 enka ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2011453830</subfield></datafield><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">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">YDXCP</subfield><subfield code="d">CDX</subfield><subfield code="d">STF</subfield><subfield code="d">NJR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">COCUF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">LEAUB</subfield><subfield code="d">UKAHL</subfield><subfield code="d">U3W</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">748215430</subfield><subfield code="a">816858892</subfield><subfield code="a">961512739</subfield><subfield code="a">962578844</subfield><subfield code="a">988486020</subfield><subfield code="a">991985784</subfield><subfield code="a">1037745713</subfield><subfield code="a">1038630881</subfield><subfield code="a">1045450163</subfield><subfield code="a">1058735345</subfield><subfield code="a">1086566976</subfield><subfield code="a">1097142209</subfield><subfield code="a">1137108575</subfield><subfield code="a">1153534869</subfield><subfield code="a">1162520441</subfield><subfield code="a">1241860806</subfield><subfield code="a">1290097017</subfield><subfield code="a">1300576902</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848164581</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848164580</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283234505</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283234504</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786613234506</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6613234508</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781848164567</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1848164564</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)754773605</subfield><subfield code="z">(OCoLC)748215430</subfield><subfield code="z">(OCoLC)816858892</subfield><subfield code="z">(OCoLC)961512739</subfield><subfield code="z">(OCoLC)962578844</subfield><subfield code="z">(OCoLC)988486020</subfield><subfield code="z">(OCoLC)991985784</subfield><subfield code="z">(OCoLC)1037745713</subfield><subfield code="z">(OCoLC)1038630881</subfield><subfield code="z">(OCoLC)1045450163</subfield><subfield code="z">(OCoLC)1058735345</subfield><subfield code="z">(OCoLC)1086566976</subfield><subfield code="z">(OCoLC)1097142209</subfield><subfield code="z">(OCoLC)1137108575</subfield><subfield code="z">(OCoLC)1153534869</subfield><subfield code="z">(OCoLC)1162520441</subfield><subfield code="z">(OCoLC)1241860806</subfield><subfield code="z">(OCoLC)1290097017</subfield><subfield code="z">(OCoLC)1300576902</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">P98</subfield><subfield code="b">.L39 2011eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">042000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBCD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3/5</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lecomte, Alain,</subfield><subfield code="d">1947-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjyTD9cPdV7CpdV76XrwYd</subfield><subfield code="0">http://id.loc.gov/authorities/names/no99043014</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Meaning, logic and ludics /</subfield><subfield code="c">Alain Lecomte.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London :</subfield><subfield code="b">Imperial College Press,</subfield><subfield code="c">©2011.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xvii, 369 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="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 353-361) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">pt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's 'proof as meaning' approach, which was first based on Martin-Lof's Type Theory. Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students and academics alike, in the field of computational linguistics.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational linguistics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85077224</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078106</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Linguistique informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">computational linguistics.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Natural Language Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computational linguistics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Lecomte, Alain, 1947-</subfield><subfield code="t">Meaning, logic and ludics.</subfield><subfield code="d">London : Imperial College Press, ©2011</subfield><subfield code="z">9781848164567</subfield><subfield code="w">(DLC) 2011453830</subfield><subfield code="w">(OCoLC)426796350</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><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=389634</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</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=389634</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH25564815</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">18463566</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10493525</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">389634</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">323450</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7135034</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></record></collection> |
| id | ZDB-4-EBA-ocn754773605 |
| illustrated | Illustrated |
| indexdate | 2024-10-25T16:18:17Z |
| institution | BVB |
| isbn | 9781848164581 1848164580 1283234505 9781283234504 9786613234506 6613234508 |
| language | English |
| oclc_num | 754773605 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource (xvii, 369 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Imperial College Press, |
| record_format | marc |
| spelling | Lecomte, Alain, 1947- https://id.oclc.org/worldcat/entity/E39PCjyTD9cPdV7CpdV76XrwYd http://id.loc.gov/authorities/names/no99043014 Meaning, logic and ludics / Alain Lecomte. London : Imperial College Press, ©2011. 1 online resource (xvii, 369 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (pages 353-361) and index. Print version record. pt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics. This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's 'proof as meaning' approach, which was first based on Martin-Lof's Type Theory. Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students and academics alike, in the field of computational linguistics. English. Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Linguistique informatique. computational linguistics. aat COMPUTERS Natural Language Processing. bisacsh Computational linguistics fast Logic fast Print version: Lecomte, Alain, 1947- Meaning, logic and ludics. London : Imperial College Press, ©2011 9781848164567 (DLC) 2011453830 (OCoLC)426796350 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634 Volltext |
| spellingShingle | Lecomte, Alain, 1947- Meaning, logic and ludics / pt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics. Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Linguistique informatique. computational linguistics. aat COMPUTERS Natural Language Processing. bisacsh Computational linguistics fast Logic fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85077224 http://id.loc.gov/authorities/subjects/sh85078106 |
| title | Meaning, logic and ludics / |
| title_auth | Meaning, logic and ludics / |
| title_exact_search | Meaning, logic and ludics / |
| title_full | Meaning, logic and ludics / Alain Lecomte. |
| title_fullStr | Meaning, logic and ludics / Alain Lecomte. |
| title_full_unstemmed | Meaning, logic and ludics / Alain Lecomte. |
| title_short | Meaning, logic and ludics / |
| title_sort | meaning logic and ludics |
| topic | Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Linguistique informatique. computational linguistics. aat COMPUTERS Natural Language Processing. bisacsh Computational linguistics fast Logic fast |
| topic_facet | Computational linguistics. Logic. Linguistique informatique. computational linguistics. COMPUTERS Natural Language Processing. Computational linguistics Logic |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634 |
| work_keys_str_mv | AT lecomtealain meaninglogicandludics |