Publications HAL

2023/01 – Gödel’s Absolute Proofs and Girard’s Ludics Mutual Insights

2021/06 – Incoherences in Dialogues and their Formalization Focus on Dialogues with Schizophrenic Individuals

2018/01 Logical Methods in Computer Science – Study of behaviours via visitable paths

2015/11 – Ludics Characterization of Multiplicative-Additive Linear Behaviours

2015/08 – What could interaction mean in natural language and how could it be useful?

2014/07 – Divergence in Dialogues *

2014/05 – La Ludique : une théorie de l’interaction, de la logique mathématique au langage naturel

2013/11 The Baltic International Yearbook of Cognition, Logic and Communication – ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH

2013/06 – Inferences and Dialogues in Ludics

2013/01 Logical Methods in Computer Science – Incarnation in Ludics and maximal cliques of paths

2012/07 – Ludics and Natural Language: First Approaches

2012/01 Mathématiques et Sciences Humaines – Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation

2011/01 Synthese – Figures of dialogue : a view from Ludics

2011/01 – Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2010/11 Lecture Notes in Computer Science – Ludics and Rhetorics

2010/06 Mathématiques et Sciences Humaines – Pour une étude du langage via l’interaction

2010/01 Mathématiques et Sciences Humaines – Pour une étude du langage via l’interaction : dialogue et sémantique en ludique

2009/06 Lecture Notes in Artificial Intelligence – Ludics and its Applications to natural Language Semantics

2007/01 – Une introduction à la Ludique et à ses applications à la Pragmatique

2005/01 Annals of Pure and Applied Logic – Polarized and focalized linear and classical proofs

2004/01 Lecture Notes in Computer Science – An introduction to uniformity in Ludics