12 Février - 18 Février


Retour à la vue des calendrier
Vendredi 16 Février
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Des Preuves Syntactiques aux Preuves Combinatoires
Description: Matteo Acclavio Dans cet exposé nous allons étudier les preuves combinatoires de Hughes comme notion de identité de preuve pour la logique classique.
Nous montrons comment divers formalismes, notamment le caclulus des sequents, les tableaux analytiques et la résolution, peuvent être traduits en preuves combinatoires, et quelle notion d'identité ils appliquent.
(Joint work with Lutz Strassburger)