Ludics and Its Applications to Natural Language Semantics

DOI10.1007/978-3-642-02261-6_20MaRDI QIDQ3638287zbMATH OpenOpenAlexFDO

Authors Alain Lecomte, Myriam Quatrini

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.1484

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Abstract: Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes.

Recommendations

• Ludics and natural language: first approaches
• Pour une étude du langage via l’interaction : dialogues et sémantique en Ludique
• Meaning, logic and ludics.
• scientific article; zbMATH DE number 1948179
• First order in Ludics

Cites work

• First order in Ludics
• From Foundations to Ludics
• Game theory and linguistic meaning.
• scientific article; zbMATH DE number 1028823 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• Logic Programming with Focusing Proofs in Linear Logic

Cited in

(9)

• Linguistic\(\leftrightarrow \)rational agents' semantics
• Pour une étude du langage via l’interaction : dialogues et sémantique en Ludique
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Figures of dialogue: a view from ludics
• scientific article; zbMATH DE number 1948179 (Why is no real title available?)
• Study of behaviours via visitable paths
• scientific article; zbMATH DE number 782027 (Why is no real title available?)
• Ludics and natural language: first approaches
• Analyzing natural languages: antimems, contradictions, and onthologies

This page was built for publication: Ludics and Its Applications to Natural Language Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638287)