Matches in SemOpenAlex for { <https://semopenalex.org/work/W3153039669> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3153039669 abstract "We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule extension). Decidability for the corresponding extensions of its contraction counterpart FLec was established recently but their computational complexity was left unanswered. In the second part of this paper, we introduce just enough on length functions for well-quasi-orderings and the fast-growing complexity classes to obtain complexity upper bounds for both the weakening and contraction extensions. A specific instance of this result yields the first complexity bound for the prominent fuzzy logic MTL (monoidal t-norm based logic) providing an answer to a long-standing open problem." @default.
- W3153039669 created "2021-04-26" @default.
- W3153039669 creator A5001826398 @default.
- W3153039669 creator A5063923584 @default.
- W3153039669 creator A5085912690 @default.
- W3153039669 date "2021-04-19" @default.
- W3153039669 modified "2023-09-27" @default.
- W3153039669 title "Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics" @default.
- W3153039669 cites W1452987818 @default.
- W3153039669 cites W147093031 @default.
- W3153039669 cites W1482532876 @default.
- W3153039669 cites W1965097424 @default.
- W3153039669 cites W1983382657 @default.
- W3153039669 cites W1983988429 @default.
- W3153039669 cites W1990470938 @default.
- W3153039669 cites W2003364215 @default.
- W3153039669 cites W2054761820 @default.
- W3153039669 cites W2060878354 @default.
- W3153039669 cites W2071694554 @default.
- W3153039669 cites W2084033816 @default.
- W3153039669 cites W2099040330 @default.
- W3153039669 cites W2110182592 @default.
- W3153039669 cites W2112664318 @default.
- W3153039669 cites W2138781755 @default.
- W3153039669 cites W2153202364 @default.
- W3153039669 cites W2156077630 @default.
- W3153039669 cites W2160771441 @default.
- W3153039669 cites W2529116197 @default.
- W3153039669 cites W2534514413 @default.
- W3153039669 cites W2912565176 @default.
- W3153039669 cites W2969635640 @default.
- W3153039669 cites W2978576973 @default.
- W3153039669 cites W2988275597 @default.
- W3153039669 cites W3022956083 @default.
- W3153039669 cites W3030674370 @default.
- W3153039669 cites W3121824157 @default.
- W3153039669 cites W3125224867 @default.
- W3153039669 cites W607239742 @default.
- W3153039669 doi "https://doi.org/10.48550/arxiv.2104.09716" @default.
- W3153039669 hasPublicationYear "2021" @default.
- W3153039669 type Work @default.
- W3153039669 sameAs 3153039669 @default.
- W3153039669 citedByCount "0" @default.
- W3153039669 crossrefType "posted-content" @default.
- W3153039669 hasAuthorship W3153039669A5001826398 @default.
- W3153039669 hasAuthorship W3153039669A5063923584 @default.
- W3153039669 hasAuthorship W3153039669A5085912690 @default.
- W3153039669 hasBestOaLocation W31530396691 @default.
- W3153039669 hasConcept C11413529 @default.
- W3153039669 hasConcept C118615104 @default.
- W3153039669 hasConcept C126322002 @default.
- W3153039669 hasConcept C153269930 @default.
- W3153039669 hasConcept C163415756 @default.
- W3153039669 hasConcept C167729594 @default.
- W3153039669 hasConcept C179799912 @default.
- W3153039669 hasConcept C183778304 @default.
- W3153039669 hasConcept C199360897 @default.
- W3153039669 hasConcept C2524010 @default.
- W3153039669 hasConcept C2778029271 @default.
- W3153039669 hasConcept C33923547 @default.
- W3153039669 hasConcept C41008148 @default.
- W3153039669 hasConcept C71924100 @default.
- W3153039669 hasConceptScore W3153039669C11413529 @default.
- W3153039669 hasConceptScore W3153039669C118615104 @default.
- W3153039669 hasConceptScore W3153039669C126322002 @default.
- W3153039669 hasConceptScore W3153039669C153269930 @default.
- W3153039669 hasConceptScore W3153039669C163415756 @default.
- W3153039669 hasConceptScore W3153039669C167729594 @default.
- W3153039669 hasConceptScore W3153039669C179799912 @default.
- W3153039669 hasConceptScore W3153039669C183778304 @default.
- W3153039669 hasConceptScore W3153039669C199360897 @default.
- W3153039669 hasConceptScore W3153039669C2524010 @default.
- W3153039669 hasConceptScore W3153039669C2778029271 @default.
- W3153039669 hasConceptScore W3153039669C33923547 @default.
- W3153039669 hasConceptScore W3153039669C41008148 @default.
- W3153039669 hasConceptScore W3153039669C71924100 @default.
- W3153039669 hasLocation W31530396691 @default.
- W3153039669 hasLocation W31530396692 @default.
- W3153039669 hasOpenAccess W3153039669 @default.
- W3153039669 hasPrimaryLocation W31530396691 @default.
- W3153039669 hasRelatedWork W1494870752 @default.
- W3153039669 hasRelatedWork W1581869334 @default.
- W3153039669 hasRelatedWork W1880334947 @default.
- W3153039669 hasRelatedWork W2070687667 @default.
- W3153039669 hasRelatedWork W2147357772 @default.
- W3153039669 hasRelatedWork W2205009220 @default.
- W3153039669 hasRelatedWork W2320266418 @default.
- W3153039669 hasRelatedWork W2404739533 @default.
- W3153039669 hasRelatedWork W255137432 @default.
- W3153039669 hasRelatedWork W3022956083 @default.
- W3153039669 isParatext "false" @default.
- W3153039669 isRetracted "false" @default.
- W3153039669 magId "3153039669" @default.
- W3153039669 workType "article" @default.