Séminaire Linguistique Informatique




20 Avril 2009

Christophe FOUQUERE (LIPN, Université Paris 13)


TITRE: Adjonction en logique

L'adjonction est une opération originale en grammaire formelle dont l'utilisation (à travers les TAG) avait permis de repenser les constructions syntaxiques. Toutefois, son interprétation logique n'est pas aisée dès lors qu'elle correspond naïvement à une double coupure. Après un rappel de travaux effectués en calcul de Lambek, on présentera un calcul logique gérant des multiséquents. Ce calcul est par ailleurs motivé par une réflexion sur l'évaluation paresseuse en programmation logique, ou encore la concurrence stricte et l'interférence. Le calcul introduit deux nouveaux connecteurs gérant la structure de multiséquents. C'est une extension conservative de la Logique Linéaire.