Recherche en logique linéaire

À venir : un preprint sur les liens entre graphes arêtes-coloriés et réseaux de preuve de la logique linéaire.

Vulgarisation sur la théorie de la démonstration

Articles dans la version livre du Tangente Hors-Série 55, « Les démonstrations », écrits avec Jérémy Ledent :

Cours de logique au MPRI

Une ébauche de notes de cours de logique linéaire (MPRI 2-1). (Extrêmement incomplètes, vous feriez mieux de regarder le cours d’Olivier Laurent ou d’aller voir le Linear Logic Primer (en anglais) de V. Danos et R. di Cosmo.)

Ma présentation (tex) de l’article Control categories and duality de Peter Selinger, pour le cours de sémantique catégorique de Paul-André Melliès.

Logique épistémique

Ce n’est pas de la logique « sérieuse », voir à ce propos l’article Prisoners dans le dictionnaire de la logique dans Locus Solum (page 147). Cependant ça reste très amusant.

TODO : remplir cette section.