Matches in SemOpenAlex for { <https://semopenalex.org/work/W2271663170> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2271663170 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, DbC, DbCM, DbCb and DbCbMr 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 univexp for TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality exstexp allows the so-called (intuitionistic) mingle rule, which derives 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 iterated coordination. Finally, the four calculi are proved to be Cut-Free but decidability is only proved for $DbCb$, whereas for the rest the question of decidability remains open." @default.
- W2271663170 created "2016-06-24" @default.
- W2271663170 creator A5002037262 @default.
- W2271663170 creator A5087687569 @default.
- W2271663170 date "2018-01-23" @default.
- W2271663170 modified "2023-09-28" @default.
- W2271663170 title "Computational Coverage of TLG: Nonlinearity" @default.
- W2271663170 cites W1491951931 @default.
- W2271663170 cites W1595256356 @default.
- W2271663170 cites W1986697697 @default.
- W2271663170 cites W1997685510 @default.
- W2271663170 cites W2474875069 @default.
- W2271663170 cites W562102938 @default.
- W2271663170 doi "https://doi.org/10.29007/96j5" @default.
- W2271663170 hasPublicationYear "2018" @default.
- W2271663170 type Work @default.
- W2271663170 sameAs 2271663170 @default.
- W2271663170 citedByCount "6" @default.
- W2271663170 countsByYear W22716631702016 @default.
- W2271663170 countsByYear W22716631702017 @default.
- W2271663170 countsByYear W22716631702019 @default.
- W2271663170 countsByYear W22716631702020 @default.
- W2271663170 countsByYear W22716631702021 @default.
- W2271663170 crossrefType "proceedings-article" @default.
- W2271663170 hasAuthorship W2271663170A5002037262 @default.
- W2271663170 hasAuthorship W2271663170A5087687569 @default.
- W2271663170 hasBestOaLocation W22716631701 @default.
- W2271663170 hasConcept C118615104 @default.
- W2271663170 hasConcept C121332964 @default.
- W2271663170 hasConcept C134306372 @default.
- W2271663170 hasConcept C136119220 @default.
- W2271663170 hasConcept C140479938 @default.
- W2271663170 hasConcept C151376022 @default.
- W2271663170 hasConcept C153269930 @default.
- W2271663170 hasConcept C158622935 @default.
- W2271663170 hasConcept C183778304 @default.
- W2271663170 hasConcept C199343813 @default.
- W2271663170 hasConcept C202444582 @default.
- W2271663170 hasConcept C2777686260 @default.
- W2271663170 hasConcept C33923547 @default.
- W2271663170 hasConcept C41008148 @default.
- W2271663170 hasConcept C62520636 @default.
- W2271663170 hasConcept C71924100 @default.
- W2271663170 hasConceptScore W2271663170C118615104 @default.
- W2271663170 hasConceptScore W2271663170C121332964 @default.
- W2271663170 hasConceptScore W2271663170C134306372 @default.
- W2271663170 hasConceptScore W2271663170C136119220 @default.
- W2271663170 hasConceptScore W2271663170C140479938 @default.
- W2271663170 hasConceptScore W2271663170C151376022 @default.
- W2271663170 hasConceptScore W2271663170C153269930 @default.
- W2271663170 hasConceptScore W2271663170C158622935 @default.
- W2271663170 hasConceptScore W2271663170C183778304 @default.
- W2271663170 hasConceptScore W2271663170C199343813 @default.
- W2271663170 hasConceptScore W2271663170C202444582 @default.
- W2271663170 hasConceptScore W2271663170C2777686260 @default.
- W2271663170 hasConceptScore W2271663170C33923547 @default.
- W2271663170 hasConceptScore W2271663170C41008148 @default.
- W2271663170 hasConceptScore W2271663170C62520636 @default.
- W2271663170 hasConceptScore W2271663170C71924100 @default.
- W2271663170 hasLocation W22716631701 @default.
- W2271663170 hasLocation W22716631702 @default.
- W2271663170 hasLocation W22716631703 @default.
- W2271663170 hasLocation W22716631704 @default.
- W2271663170 hasOpenAccess W2271663170 @default.
- W2271663170 hasPrimaryLocation W22716631701 @default.
- W2271663170 hasRelatedWork W1487640159 @default.
- W2271663170 hasRelatedWork W1494870752 @default.
- W2271663170 hasRelatedWork W1954846941 @default.
- W2271663170 hasRelatedWork W2013026918 @default.
- W2271663170 hasRelatedWork W2055520238 @default.
- W2271663170 hasRelatedWork W2061776474 @default.
- W2271663170 hasRelatedWork W2071709946 @default.
- W2271663170 hasRelatedWork W2964333138 @default.
- W2271663170 hasRelatedWork W3175123745 @default.
- W2271663170 hasRelatedWork W3199852337 @default.
- W2271663170 isParatext "false" @default.
- W2271663170 isRetracted "false" @default.
- W2271663170 magId "2271663170" @default.
- W2271663170 workType "article" @default.