Lexicalized Proof-Nets in Pomset Logic & TAG

Sylvain Pogodalla 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
Michael Moortgat. Logical Aspects of Computational Linguistics, 1998, Grenoble, France. Springer Berlin Heidelberg, 2014, pp.230-250, 1998, LNCS. 〈http://link.springer.com/10.1007/3-540-45738-0_14〉. 〈10.1007/3-540-45738-0_14〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00098490
Contributeur : Sylvain Pogodalla <>
Soumis le : mercredi 13 décembre 2006 - 13:59:45
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:28:14

Fichier

pogodalla-lacl98.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Sylvain Pogodalla. Lexicalized Proof-Nets in Pomset Logic & TAG. Michael Moortgat. Logical Aspects of Computational Linguistics, 1998, Grenoble, France. Springer Berlin Heidelberg, 2014, pp.230-250, 1998, LNCS. 〈http://link.springer.com/10.1007/3-540-45738-0_14〉. 〈10.1007/3-540-45738-0_14〉. 〈inria-00098490〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

102