Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Wednesday, May 16, 2007 - 5:22:47 PM
Last modification on : Friday, February 4, 2022 - 3:22:19 AM


  • HAL Id : inria-00147384, version 1



Guy Perrier. From Intuitionistic Proof Nets to Interaction Grammars. TAG + 5, Université Paris 7, 2000, Paris/France, 9 p. ⟨inria-00147384⟩



Record views