Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Théorie pure des réseaux
Précédent : Actions de recherche Remonter : Actions de
recherche Suivant : Théorie pure des réseaux
Participants : Denis Bechet, Philippe de Groote, François Lamarche, Christian Retoré
Les membres de Calligramme ont pour la majorité déjà consacré plusieurs années à l'étude théorique des réseaux, en suivant la problématique ouverte dans les premiers papiers de Girard sur le sujet (critères de correction géométrique, rapport avec le parallélisme, problèmes d'interfaces de modules), et certaines considérations ultérieures comme les rapports entre la logique linéaire intuitionniste et la sémantique des jeux.
A ceci s'est ajoutée récemment la réalisation que les réseaux pouvaient être adaptés à des logiques non commutatives, du type employé depuis les années cinquante par les linguistes (calcul de Lambek), et aider à résoudre de vieux problémes dans ce domaine autant qu'à mettre au point de nouveaux formalismes syntaxiques ou sémantiques. Les membres de Calligramme ont donc mis leur expérience á profit dans cette voie nouvellement ouverte pour la logique linéaire, que son créateur n`avait pas prévue.