Projet : CALLIGRAMME

previous up next contents
Précédent : La logique linéaire Remonter : Logique Linéaire, Réseaux de Démonstration Suivant : Calcul des séquents, réseaux de


   
Fondements scientifiques

 

Le projet Calligramme s'intéresse à la logique linéaire en tant qu'outil d'analyse. Cette logique permet une décomposition fine des connecteurs ; elle peut être interprétée en tant que calcul sensible à la notion de ressource ; elle présente un parallélisme inhérent ; elle rend possible une étude géométrique de la notion même de preuve, par le biais de la théorie des réseaux de démonstration.

Cet intérêt porte sur quatre modules ou actions de recherche : calcul des séquents, réseaux de démonstration et d'interaction ; logique linéaire et parallélisme ; logique linéaire et grammaires formelles ; $ \lambda$-calculs typés et sémantiques.

Ces quatre actions présentent à la fois un caractère théorique et appliqué. Cependant, du point de vue strictement applicatif, l'action « Logique linéaire et grammaires formelles » est la plus saillante. Un des objectifs premiers du projet Calligramme est le développement et la mise au point d'un modèle linguistique computationnel, basé sur la logique linéaire.