Dialogues in Ludics

Authors:
Marie-Renée Fleury;Myriam Quatrini;Samuel Tronçon
Affiliations:
Institut de Mathématiques de Luminy, Aix-Marseille Université;Institut de Mathématiques de Luminy, Aix-Marseille Université;Laboratoire "Structures Formelles du Langage", Université Paris 8
Venue:
Logic and grammar
Year:
2011

Citing 4
Cited 0

Travelling on Designs

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Locus Solum: From the rules of logic to the logic of rules

Mathematical Structures in Computer Science
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)

Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)

LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we expose and defend the following claim: Ludics is a relevant framework to ensure both the formalisation and another way for studying dialogues. First we informally introduce a notion of dialogue and explain the correspondence with some fundamental concepts in Ludics, then we give a light technical presentation of Ludics, focusing on the most relevant points for the study of formal dialogues : objects, actions and interactions. At last, we present the concrete part of the model with some examples of dialogues in Ludics.