Wyniki wyszukiwania:

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

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997.
The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages.

Ce livre est une introduction A la sA(c)mantique formelle. Il s'adresse principalement A des A(c)tudiants en sciences du langage, mais aussi A des A(c)tudiants en mathA(c)matiques ou en logique qui auraient envie de connaA(R)tre les applications de leur discipline au domaine linguistique. La sA(c)mantique formelle est l'A(c)tude du sens, principalement des phrases (mais aussi des discours), basA(c)e sur deux principes qui sont abondamment dA(c)veloppA(c)s ici: la vA(c)ri-conditionnalitA(c) (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement A une situation...

This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for "Towards Theoretical Pragmatics based on Ludics and Continuation Theory," ran from November 2006 to November 2009, with funding from the new French National Agency for Research (ANR). The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science; the articles shed light on the role of Ludics in the study of speech acts, inferential...