Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288277829> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4288277829 abstract "In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale semantics. In our approach, subexponential modalities have an interpretation in terms of quantic conuclei. We show that this extension of Lambek calculus is complete w.r.t quantales with quantic conuclei. Also, we prove a representation theorem for quantales with quantic conuclei and show that Lambek calculus with subexponentials is relationally complete. Finally, we extend this representation theorem to the category of quantales with quantic conuclei." @default.
- W4288277829 created "2022-07-28" @default.
- W4288277829 creator A5086806563 @default.
- W4288277829 date "2019-07-29" @default.
- W4288277829 modified "2023-09-27" @default.
- W4288277829 title "Quantale semantics of Lambek calculus with subexponential modalities" @default.
- W4288277829 doi "https://doi.org/10.48550/arxiv.1908.01055" @default.
- W4288277829 hasPublicationYear "2019" @default.
- W4288277829 type Work @default.
- W4288277829 citedByCount "0" @default.
- W4288277829 crossrefType "posted-content" @default.
- W4288277829 hasAuthorship W4288277829A5086806563 @default.
- W4288277829 hasBestOaLocation W42882778291 @default.
- W4288277829 hasConcept C136119220 @default.
- W4288277829 hasConcept C138885662 @default.
- W4288277829 hasConcept C144024400 @default.
- W4288277829 hasConcept C17744445 @default.
- W4288277829 hasConcept C184337299 @default.
- W4288277829 hasConcept C199343813 @default.
- W4288277829 hasConcept C199360897 @default.
- W4288277829 hasConcept C199539241 @default.
- W4288277829 hasConcept C202444582 @default.
- W4288277829 hasConcept C2776230367 @default.
- W4288277829 hasConcept C2776359362 @default.
- W4288277829 hasConcept C2777686260 @default.
- W4288277829 hasConcept C2779903281 @default.
- W4288277829 hasConcept C33923547 @default.
- W4288277829 hasConcept C36289849 @default.
- W4288277829 hasConcept C41008148 @default.
- W4288277829 hasConcept C41895202 @default.
- W4288277829 hasConcept C527412718 @default.
- W4288277829 hasConcept C71924100 @default.
- W4288277829 hasConcept C94625758 @default.
- W4288277829 hasConceptScore W4288277829C136119220 @default.
- W4288277829 hasConceptScore W4288277829C138885662 @default.
- W4288277829 hasConceptScore W4288277829C144024400 @default.
- W4288277829 hasConceptScore W4288277829C17744445 @default.
- W4288277829 hasConceptScore W4288277829C184337299 @default.
- W4288277829 hasConceptScore W4288277829C199343813 @default.
- W4288277829 hasConceptScore W4288277829C199360897 @default.
- W4288277829 hasConceptScore W4288277829C199539241 @default.
- W4288277829 hasConceptScore W4288277829C202444582 @default.
- W4288277829 hasConceptScore W4288277829C2776230367 @default.
- W4288277829 hasConceptScore W4288277829C2776359362 @default.
- W4288277829 hasConceptScore W4288277829C2777686260 @default.
- W4288277829 hasConceptScore W4288277829C2779903281 @default.
- W4288277829 hasConceptScore W4288277829C33923547 @default.
- W4288277829 hasConceptScore W4288277829C36289849 @default.
- W4288277829 hasConceptScore W4288277829C41008148 @default.
- W4288277829 hasConceptScore W4288277829C41895202 @default.
- W4288277829 hasConceptScore W4288277829C527412718 @default.
- W4288277829 hasConceptScore W4288277829C71924100 @default.
- W4288277829 hasConceptScore W4288277829C94625758 @default.
- W4288277829 hasLocation W42882778291 @default.
- W4288277829 hasOpenAccess W4288277829 @default.
- W4288277829 hasPrimaryLocation W42882778291 @default.
- W4288277829 hasRelatedWork W1934615325 @default.
- W4288277829 hasRelatedWork W2003562606 @default.
- W4288277829 hasRelatedWork W2096753949 @default.
- W4288277829 hasRelatedWork W2164596421 @default.
- W4288277829 hasRelatedWork W3106133691 @default.
- W4288277829 hasRelatedWork W3121770353 @default.
- W4288277829 hasRelatedWork W4247874424 @default.
- W4288277829 hasRelatedWork W4249580765 @default.
- W4288277829 hasRelatedWork W4302313139 @default.
- W4288277829 hasRelatedWork W1530595355 @default.
- W4288277829 isParatext "false" @default.
- W4288277829 isRetracted "false" @default.
- W4288277829 workType "article" @default.