
arXiv: 1706.03033
We study nonlinear connectives (exponentials) in the context of Type Logical Grammar(TLG). We devise four conservative extensions of theDisplacement calculus with brackets, \DbC, \DbCM, \DbCb and \DbCbMr which contain the universal and existential exponential modalities of linear logic (\LL). These modalitiesdo not exhibit the same structural properties as in \LL, which in TLG are especially adapted for linguistic purposes. The universal modality \univexpfor TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality \exstexp allows the so-called (intuitionistic) mingle rule, whichderives a restricted version of weakening called \emph{expansion}. We provide a Curry-Howard labelling for both exponential connectives. As it turns out,controlled contraction by \univexp gives a way to account for the so-called parasitic gaps, and controlled Mingle \exstexp iterability, in particular iteratedcoordination. Finally, the four calculi are proved to be Cut-Free but decidability is only proved for $\DbCb$, whereasfor the rest the question of decidability remains open.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03, Logic in Computer Science (cs.LO)
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03, Logic in Computer Science (cs.LO)
| 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). | 9 | |
| 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. | Top 10% | |
| 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. | Top 10% |
