Downloads provided by UsageCounts
handle: 2117/82813
We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, Db!, Db!?, Db!b and Db!b?r which contain the universal and existential exponential modalities of linear logic (LL). These modalities do not exhibit the same structural properties as in LL, which in TLG are especially adapted for linguistic purposes. The universal modality ! for TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality ? allows the so-called (intuitionistic) Mingle rule, which derives a restricted version of weakening. We provide a Curry-Howard labelling for both exponential connectives. As it turns out, controlled contraction by ! gives a way to account for the so-called parasitic gaps, and controlled Mingle ? iteration, in particular iterated coordination. Finally, the four calculi are proved to be Cut-Free, and decidability is proved for a linguistically suffcient special case of Db!b?r (and hence Db!b).
Formal languages, Computational linguistics, Lingüística computacional, Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural, :Informàtica::Intel·ligència artificial::Llenguatge natural [Àrees temàtiques de la UPC], Llenguatges formals
Formal languages, Computational linguistics, Lingüística computacional, Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural, :Informàtica::Intel·ligència artificial::Llenguatge natural [Àrees temàtiques de la UPC], Llenguatges formals
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 38 | |
| downloads | 45 |

Views provided by UsageCounts
Downloads provided by UsageCounts