dimanche 20 mars 2011

Séance du 25 mars 2011

Vendredi 25 mars de 11h à 13h :

First-Order Dialogical Games and Tableaux
Nicolas Clerbout

Maison de la Recherche, salle 008.

Résumé :
This talk has two purposes. The first one is to present a formulation of first-order dialogical logic where the (structural) rules are formulated in termes of repetition ranks. In particular, I will answer to the question I mentioned in a previous talk about the distinction between Classical and Intuitionistic dialogical games when formulated with repetition ranks. Furthermore, I will (briefly) present extensive forms of games and of strategies.
The second and main purpose of the talk is to study the connection between dialogical games and tableaux. The point is to prove the following theorem for Classical Logic:
There is a winning P strategy in the dialogical game for a formula if, and only if, there is a tableau proof for that formula.
As for the proof of this theorem, I will present the main features of the proof of the "left-to-right" direction (that is, from to strategies to tableaux proofs) and the state of the art for the proof of the "right-to-left" direction.

lundi 7 mars 2011

Changement d'horaire pour la séance du 11 mars

Attention !

La séance de cette semaine (11 mars), n'aura finalement pas lieu de 11h à 13h, mais de 13h à 15h.

Du fait de ce changement d'horaire, le lieu sera très probablement différent également. Ce message sera mis à jour quand le nouveau lieu sera connu.

samedi 5 mars 2011

Séance du 11 mars 2011

Prochaine séance du Groupe de Travail :

vendredi 11 mars, de 11h à 13h,

Fonctions d'individus dans la théorie artéfactuelle
Matthieu Fontaine

Lieu : Maison de la Recherche, salle 104.


Résumé :
Le point est de présenter une sémantique qui combine théorie artéfactuelle et fonctions d'individus pour un langage modal avec opérateur de fictionnalité.

Les dates pour Mars-Juillet 2011

Bien que quelques changements soient possibles, les dates de réunion du Groupe de Travail pour les mois de Mars à Juillet 2011 devraient être les suivantes. Notez que nous quittons la salle D. Corbin.

Attention, deux des réunions auront lieu dans une salle différente.

11 mars : 11h-13h ; salle 104 Maison de la Recherche,
25 mars : 11h-13h ; salle 008 Maison de la Recherche,
08 avril : 11h-13h ; salle 104 Maison de la Recherche,
06 mai : 11h-13h ; salle 104 Maison de la Recherche,
20 mai : 11h-13h ; salle 104 Maison de la Recherche,
03 juin : 11h-13h ; salle 104 Maison de la Recherche,
17 juin : 11h-13h ; salle 008 Maison de la Recherche,
24 juin : 11h-13h ; salle 104 Maison de la Recherche,
01 juillet : 11h-13h ; salle 104 Maison de la Recherche.