Alain Lecomte Libros

Focusing on advancements in Natural Language Semantics, this book explores the interface between syntax and semantics over the past two decades. It delves into recent logical theories, particularly linear logic and ludics, alongside significant developments in Theoretical Computer Science, such as the Curry-Howard isomorphism. The text reviews various proposed solutions for the syntax-semantics interface, considering the nature of linguistic signs and insights from prominent linguists. It concludes with an examination of Ludics, characterizing meaning as an invariant in process interactions.

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 semantics, game-theoretical frameworks, interactive situations in the dynamics of language, the representation of commitments and interaction, programming web applications, as well as the impact of Ludics on the fundamental concepts of computability.

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.