Logique et jeux catégoriques
avec Michel et Tom
Michel a soutenu en 2004 une thèse dans laquelle il
propose un cadre catégorique, ou plutôt
bicatégorique pour la sémantique des jeux.
Il
y a beaucoup de logiques mais il n'y a pas encore une notion de
logique encodant les caractéristiques principales de ces
logiques ou au moins des "meilleures" d'entre elles. Pourtant, depuis
les systèmes à la Hilbert, la déduction naturelle
et surtout la logique linéaire ont mis en évidence des
symétries qui ne demandent qu'à être
encadrées dans une structure.
L'idée d'interpréter la logique en termes de
jeux est dans l'air (Abramsky, Japaridze et (surtout?) Girard, pour ne
pas remonter à Gentzen).
Pour en savoir plus, lire nos papiers.