Intends to present several main advances in Natural Language Semantics and the interface between syntax and semantics, based on logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences.

The 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, CurienHerbelin's calculus, Wadler's dual calculus and, the LambekGrishin 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.