Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation

DOI10.4000/msh.12242zbMath1296.03019OpenAlexW2316082576MaRDI QIDQ2917731

Myriam Quatrini, Christophe Fouqueré

Publication date: 1 October 2012

Published in: Mathématiques et sciences humaines (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4000/msh.12242

zbMATH Keywords

linear logicargumentationludicsdialogue actsformalization of dialoguesproof-theoretical framework

Mathematics Subject Classification ID

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

Related Items (1)

Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics

This page was built for publication: Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation