Logiques dialogiques "multivalentes"

Helge Rückert

pp. 59-87

in: Manuel Rebuschi, Tero Tulenheimo (eds), Logique & théorie des jeux, Philosophia Scientiae 8 (2), 2004.

Abstract

Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique `a trois valeurs de Łukasiewicz (L3c). En remplaçant la règle structurelle classique par sa contrepartie intuitionniste on obtient des versions intuitionnistes de systèmes multivalents (par exemple L3i). Les systèmes dialogiques multivalents L3c et L3i sont illustrés par quelques exemples et pour conclure on formule les tableaux stratégiques correspondants.