Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lecomte, Alain, 1947-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Imperial College Press, ©2011.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn754773605
003 OCoLC
005 20231017213018.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 
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 
029 1 |a AU@  |b 000051569017 
029 1 |a DEBBG  |b BV043066293 
029 1 |a DEBSZ  |b 421539399 
029 1 |a HEBIS  |b 29983025X 
029 1 |a NZ1  |b 14256931 
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 0 4 |a 006.3/5  |2 23 
049 |a UAMI 
100 1 |a Lecomte, Alain,  |d 1947- 
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. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Computational linguistics. 
650 0 |a Logic. 
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 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=389634  |z Texto completo 
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 IZTAP