From Intuitionistic Proof Nets to Interaction Grammars - Université de Lorraine Access content directly
Conference Papers Year : 2000

From Intuitionistic Proof Nets to Interaction Grammars

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.
No file

Dates and versions

inria-00147384 , version 1 (16-05-2007)

Identifiers

  • HAL Id : inria-00147384 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More