Précédent : La logique linéaire
Remonter : Logique Linéaire, Réseaux de Démonstration
Suivant : Calcul des séquents, réseaux de
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 ; -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.