Lexicalized Proof-Nets in Pomset Logic & TAG - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Lexicalized Proof-Nets in Pomset Logic & TAG

Résumé

This result gives a simple representation (the cut rule represents both substitution and adjunction rules) of TAGs in pomset logic. It consists in the maping of pieces of proofs to every elementary tree. A first consequence is to characterize the expressive power of the grammars defined by Lecomte and Retoré ("Pomset Logic as an Alternative Categorial Grammar",1995) in showing that a very restricted fragment allows the representation of TAGs. A second consequence is to bind more easily TAGs and Montague's semantics thanks to the logical type of these pomset grammars.
Fichier principal
Vignette du fichier
pogodalla-lacl98.pdf (294.79 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

inria-00098490 , version 1 (13-12-2006)

Identifiants

Citer

Sylvain Pogodalla. Lexicalized Proof-Nets in Pomset Logic & TAG. Logical Aspects of Computational Linguistics: Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers, 1998, Grenoble, France. pp.230-250, ⟨10.1007/3-540-45738-0_14⟩. ⟨inria-00098490⟩
106 Consultations
157 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More