DMCA
Pomset Logic as an Alternative Categorial Grammar (1995)
| Venue: | IN FORMAL GRAMMAR |
| Citations: | 17 - 2 self |
BibTeX
@INPROCEEDINGS{Lecomte95pomsetlogic,
author = {Alain Lecomte and Christian Retoré},
title = {Pomset Logic as an Alternative Categorial Grammar},
booktitle = {IN FORMAL GRAMMAR},
year = {1995},
pages = {181--196},
publisher = {FoLLI}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Lambek calculus may be viewed as a fragment of linear logic, namely intuitionistic non-commutative multiplicative linear logic. As it is too restrictive to describe numerous usual linguistic phenomena, instead of extending it we extend MLL with a non-commutative connective, thus dealing with partially ordered multisets of formulae. Relying on proof net technique, our study associates words with parts of proofs, modules, and parsing is described as proving by plugging modules. Apart from avoiding spurious ambiguities, our method succeeds in obtaining a logical description of relatively free word order, head-wrapping, clitics, and extraposition (these latest two constructions are unfortunately not included, for lack of space).
