From Intuitionistic Proof Nets to Interaction Grammars

Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We show that the construction of proof nets in the implicative fragment of intuitionistic linear logic reduces to the generation of models in the shape of completely specified and neutral trees from polarised tree descriptions. This provides us with a new framework for revisiting grammatical formalisms and leads us to introduce Interaction Grammars which aim to take advantage of two main characteristics of this framework: under-specification and polarities.
Type de document :
Communication dans un congrès
TAG + 5, 2000, Paris/France, 9 p, 2000
Liste complète des métadonnées
Contributeur : Publications Loria <>
Soumis le : mercredi 16 mai 2007 - 17:22:47
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48


  • HAL Id : inria-00147384, version 1



Guy Perrier. From Intuitionistic Proof Nets to Interaction Grammars. TAG + 5, 2000, Paris/France, 9 p, 2000. 〈inria-00147384〉



Consultations de la notice