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.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...