La prochaine séance du séminaire Combi du Plateau de Saclay aura lieu mercredi 31 à 10h30 en ligne sur BigBlueButton. Samuele Giraudo nous parlera de Quelques aspects combinatoires de la logique combinatoire.

Résumé : La logique combinatoire est un formalisme introduit par Schönfinkel dans les années 1920 dans le but de supprimer la nécessité des variables dans les expressions. Ce formalisme donne également lieu à un modèle de calcul très proche du λ-calcul basé sur la réécriture de termes et donc sur la réécriture d’arbres. Malgré son nom, ce domaine a été assez peu étudié d’un point de vue combinatoire. Je propose donc dans cet exposé d’approcher ainsi quelques systèmes de logique combinatoire. L’exposé commencera par des rappels généraux sur les systèmes de réécriture de termes. Je vais ensuite parler de logique combinatoire et lister quelques questions qui me motivent dans ce contexte. Je terminerai par une première étude (encore en cours) d’un nouveau treillis qui émerge naturellement de l’un de ces systèmes.

Le programme du séminaire est disponible ici : https://galac.lri.fr/pages/combi-seminar.html