Meaning, Logic and Ludics - Couverture rigide

Lecomte, Alain

 
9781848164567: Meaning, Logic and Ludics
Couverture rigide
ISBN 10 : 1848164564 ISBN 13 : 9781848164567
Editeur : Imperial College Press, 2011

Synopsis

This book aims to present several main advances in Natural Language Semantics and the interface between syntax and semantics after the last two decades, based on some of the most recent logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences (i.e., the extensions of the Curry-Howard isomorphism to classical logic, which has led to several variants of calculi like Parigot's calculus, Curien-Herbelin's calculus, Wadler's dual calculus and, the Lambek-Grishin calculus revisited by M Moortgat and R Bernardi, among others). "Meaning, Logic and Ludics" surveys the many solutions which have been proposed for the syntax semantics interface, taking into account the specifications of the linguistic signs (continuous or discontinuous) and the fundamental mechanisms put in light by the linguists and notable Generativists. This pioneering publication ends with a presentation of Ludics, a framework which allows to characterize Meaning as an invariant with regard to the interaction between processes.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This book aims to present several main advances in Natural Language Semantics and the interface between syntax and semantics after the last two decades, based on some of the most recent logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences (i.e., the extensions of the Curry-Howard isomorphism to classical logic, which has led to several variants of calculi like Parigot's calculus, Curien-Herbelin's calculus, Wadler's dual calculus and, the Lambek-Grishin calculus revisited by M Moortgat and R Bernardi, among others). "Meaning, Logic and Ludics" surveys the many solutions which have been proposed for the syntax semantics interface, taking into account the specifications of the linguistic signs (continuous or discontinuous) and the fundamental mechanisms put in light by the linguists and notable Generativists. This pioneering publication ends with a presentation of Ludics, a framework which allows to characterize Meaning as an invariant with regard to the interaction between processes.

Revue de presse

"This book presents a large part of the ongoing research on linguistics and proof theory, as developed by the author and also by some other researchers. The very interesting content, previously unavailable in book form, is made intuitive and pleasant to read. Linguists, who are familiar with the questions but not their formal treatment, will enjoy the book, especially the linguistically oriented explanations on logical systems. Logicians, and especially proof theorists, will be convinced of the relevance of their domain to natural language semantics, and at the same time, they will be offered a gentle introduction to some active topics in linguistic research." --Mathematical Reviews

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Imperial College Press
Date d'édition
2011
Langue
anglais
ISBN 10 
1848164564
ISBN 13 
9781848164567
Reliure
Relié
Nombre de pages
388
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Allemagne