Meaning Logic And Ludics
Download Meaning Logic And Ludics PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Meaning Logic And Ludics book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
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 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-Löf'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./a
Logic, Language, Information and Computation
Author: Hiroakira Ono
language: en
Publisher: Springer Science & Business Media
Release Date: 2009-05-27
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Meaning, Logic and Ludics
7. Grammatical reasoning. 7.1. Motivations. 7.2. Modal preliminary. 7.3. Residuation and modalities. 7.4. Linguistic applications. 7.5. Back to quantification. 7.6. Kripke semantics. 7.7. Concluding remarks and observations. 8. A type-theoretical version of minimalist grammars. 8.1. Inserting chains. 8.2. Head movement. 8.3. Adjoining and scrambling. 8.4. Semantics without cooper storage. 8.5. Concluding remarks : Some tracks to explore. 9. Grammars in deductive forms. 9.1. Introduction. 9.2. Convergent grammars. 9.3. Labelled linear grammars. 9.4. Binding in LLG. 9.5. On phases. 9.6. Comparing CVG and LLG. 9.7. Concluding remarks. 10. Continuations and contexts. 10.1. The use of continuations in semantics. 10.2. Symmetric calculi. 10.3. Concluding remarks and further works. 11. Proofs as meanings. 11.1. From intuitionistic logic to constructive type theory. 11.2. Formalizing Montague grammar in constructive type theory. 11.3. Dynamical interpretation and anaphoric expressions. 11.4. From sentences to dialogue -- pt. IV. Ludics. 12. Interaction and dialogue. 12.1. Dialogue and games. 12.2. Ludics. 12.3. Behaviours. 13. The future in conclusion