Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100551312> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3100551312 endingPage "256" @default.
- W3100551312 startingPage "240" @default.
- W3100551312 abstract "Morrill and Valentin in the paper Computational coverage of TLG: Nonlinearity considered an extension of the Lambek calculus enriched by a so-called exponential modality. This modality behaves in the relevant style, that is, it allows contraction and permutation, but not weakening. Morrill and Valentin stated an open problem whether this system is decidable. Here we show its undecidability. Our result remains valid if we consider the fragment where all division operations have one direction. We also show that the derivability problem in a restricted case, where the modality can be applied only to variables (primitive types), is decidable and belongs to the NP class." @default.
- W3100551312 created "2020-11-23" @default.
- W3100551312 creator A5048798287 @default.
- W3100551312 creator A5054465062 @default.
- W3100551312 creator A5071022257 @default.
- W3100551312 date "2016-01-01" @default.
- W3100551312 modified "2023-09-25" @default.
- W3100551312 title "Undecidability of the Lambek Calculus with a Relevant Modality" @default.
- W3100551312 cites W1488801660 @default.
- W3100551312 cites W1849857826 @default.
- W3100551312 cites W1978223872 @default.
- W3100551312 cites W2002130184 @default.
- W3100551312 cites W2021289373 @default.
- W3100551312 cites W2023695988 @default.
- W3100551312 cites W2078432227 @default.
- W3100551312 cites W2115861484 @default.
- W3100551312 cites W2173249 @default.
- W3100551312 cites W2239942373 @default.
- W3100551312 cites W2278498569 @default.
- W3100551312 cites W2911865844 @default.
- W3100551312 cites W4240963309 @default.
- W3100551312 cites W4242125186 @default.
- W3100551312 cites W4255194959 @default.
- W3100551312 doi "https://doi.org/10.1007/978-3-662-53042-9_14" @default.
- W3100551312 hasPublicationYear "2016" @default.
- W3100551312 type Work @default.
- W3100551312 sameAs 3100551312 @default.
- W3100551312 citedByCount "13" @default.
- W3100551312 countsByYear W31005513122016 @default.
- W3100551312 countsByYear W31005513122017 @default.
- W3100551312 countsByYear W31005513122019 @default.
- W3100551312 countsByYear W31005513122020 @default.
- W3100551312 countsByYear W31005513122021 @default.
- W3100551312 countsByYear W31005513122022 @default.
- W3100551312 countsByYear W31005513122023 @default.
- W3100551312 crossrefType "book-chapter" @default.
- W3100551312 hasAuthorship W3100551312A5048798287 @default.
- W3100551312 hasAuthorship W3100551312A5054465062 @default.
- W3100551312 hasAuthorship W3100551312A5071022257 @default.
- W3100551312 hasBestOaLocation W31005513122 @default.
- W3100551312 hasConcept C107038049 @default.
- W3100551312 hasConcept C11413529 @default.
- W3100551312 hasConcept C118615104 @default.
- W3100551312 hasConcept C136119220 @default.
- W3100551312 hasConcept C138885662 @default.
- W3100551312 hasConcept C153269930 @default.
- W3100551312 hasConcept C154945302 @default.
- W3100551312 hasConcept C199343813 @default.
- W3100551312 hasConcept C199360897 @default.
- W3100551312 hasConcept C202444582 @default.
- W3100551312 hasConcept C21308566 @default.
- W3100551312 hasConcept C2776235265 @default.
- W3100551312 hasConcept C2777686260 @default.
- W3100551312 hasConcept C2778029271 @default.
- W3100551312 hasConcept C2780226545 @default.
- W3100551312 hasConcept C33923547 @default.
- W3100551312 hasConcept C41008148 @default.
- W3100551312 hasConcept C71924100 @default.
- W3100551312 hasConceptScore W3100551312C107038049 @default.
- W3100551312 hasConceptScore W3100551312C11413529 @default.
- W3100551312 hasConceptScore W3100551312C118615104 @default.
- W3100551312 hasConceptScore W3100551312C136119220 @default.
- W3100551312 hasConceptScore W3100551312C138885662 @default.
- W3100551312 hasConceptScore W3100551312C153269930 @default.
- W3100551312 hasConceptScore W3100551312C154945302 @default.
- W3100551312 hasConceptScore W3100551312C199343813 @default.
- W3100551312 hasConceptScore W3100551312C199360897 @default.
- W3100551312 hasConceptScore W3100551312C202444582 @default.
- W3100551312 hasConceptScore W3100551312C21308566 @default.
- W3100551312 hasConceptScore W3100551312C2776235265 @default.
- W3100551312 hasConceptScore W3100551312C2777686260 @default.
- W3100551312 hasConceptScore W3100551312C2778029271 @default.
- W3100551312 hasConceptScore W3100551312C2780226545 @default.
- W3100551312 hasConceptScore W3100551312C33923547 @default.
- W3100551312 hasConceptScore W3100551312C41008148 @default.
- W3100551312 hasConceptScore W3100551312C71924100 @default.
- W3100551312 hasLocation W31005513121 @default.
- W3100551312 hasLocation W31005513122 @default.
- W3100551312 hasOpenAccess W3100551312 @default.
- W3100551312 hasPrimaryLocation W31005513121 @default.
- W3100551312 hasRelatedWork W1483892218 @default.
- W3100551312 hasRelatedWork W1600071783 @default.
- W3100551312 hasRelatedWork W1996177377 @default.
- W3100551312 hasRelatedWork W2035045326 @default.
- W3100551312 hasRelatedWork W2112942248 @default.
- W3100551312 hasRelatedWork W2144311624 @default.
- W3100551312 hasRelatedWork W2268240119 @default.
- W3100551312 hasRelatedWork W3176334073 @default.
- W3100551312 hasRelatedWork W4300411006 @default.
- W3100551312 hasRelatedWork W4300794829 @default.
- W3100551312 isParatext "false" @default.
- W3100551312 isRetracted "false" @default.
- W3100551312 magId "3100551312" @default.
- W3100551312 workType "book-chapter" @default.