From Intuitionistic Proof Nets to Interaction Grammars - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

From Intuitionistic Proof Nets to Interaction Grammars

Abstract

From intuitionistic proof nets of linear logic, we abstract an order between axiom links and we use it for representing proof nets in the more compact form of precedence trees. This provides us with new formal tools for revisiting grammatical formalisms and leads us to introduce Interaction Grammars, which synthesize Categorial Grammars and Phrase Structure Grammars.
Fichier principal
Vignette du fichier
99-R-120.pdf (444.06 Ko) Télécharger le fichier

Dates and versions

inria-00098793 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098793 , version 1

Cite

Guy Perrier. From Intuitionistic Proof Nets to Interaction Grammars. [Intern report] 99-R-120 || perrier99b, université Nancy2. 1999, 39 p. ⟨inria-00098793⟩
80 View
58 Download

Share

Gmail Facebook Twitter LinkedIn More