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 metadatas

https://hal.inria.fr/inria-00147384
Contributor : Publications Loria <>
Submitted on : Wednesday, May 16, 2007 - 5:22:47 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00147384, version 1

Collections

Citation

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

Share

Metrics

Record views

115