Mostra el registre d'ítem simple
Computational coverage of TLG: nonlinearity
dc.contributor.author | Morrill, Glyn |
dc.contributor.author | Valentín Fernández Gallart, José Oriol |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-02-11T09:02:19Z |
dc.date.available | 2016-02-11T09:02:19Z |
dc.date.issued | 2015 |
dc.identifier.citation | Morrill, G., Valentín, O. Computational coverage of TLG: nonlinearity. A: Workshop on Natural Language and Computer Science. "NLCS'15: Third Workshop on Natural Language and Computer Science". Kyoto: 2015, p. 51-63. |
dc.identifier.uri | http://hdl.handle.net/2117/82813 |
dc.description.abstract | 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). |
dc.format.extent | 13 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural |
dc.subject.lcsh | Formal languages |
dc.subject.lcsh | Computational linguistics |
dc.title | Computational coverage of TLG: nonlinearity |
dc.type | Conference report |
dc.subject.lemac | Llenguatges formals |
dc.subject.lemac | Lingüística computacional |
dc.contributor.group | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.rights.access | Open Access |
local.identifier.drac | 17405001 |
dc.description.version | Postprint (published version) |
local.citation.author | Morrill, G.; Valentín, O. |
local.citation.contributor | Workshop on Natural Language and Computer Science |
local.citation.pubplace | Kyoto |
local.citation.publicationName | NLCS'15: Third Workshop on Natural Language and Computer Science |
local.citation.startingPage | 51 |
local.citation.endingPage | 63 |