Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105030000> ?p ?o ?g. }
- W3105030000 endingPage "1249" @default.
- W3105030000 startingPage "1217" @default.
- W3105030000 abstract "Linear logical frameworks with subexponentials have been used for the specification of among other systems, proof systems, concurrent programming languages and linear authorization logics. In these frameworks, subexponentials can be configured to allow or not for the application of the contraction and weakening rules while the exchange rule can always be applied. This means that formulae in such frameworks can only be organized as sets and multisets of formulae not being possible to organize formulae as lists of formulae. This paper investigates the proof theory of linear logic proof systems in the non-commutative variant. These systems can disallow the application of exchange rule on some subexponentials. We investigate conditions for when cut-elimination is admissible in the presence of non-commutative subexponentials, investigating the interaction of the exchange rule with local and non-local contraction rules. We also obtain some new undecidability and decidability results on non-commutative linear logic with subexponentials." @default.
- W3105030000 created "2020-11-23" @default.
- W3105030000 creator A5048798287 @default.
- W3105030000 creator A5054465062 @default.
- W3105030000 creator A5071022257 @default.
- W3105030000 creator A5080152569 @default.
- W3105030000 date "2018-05-02" @default.
- W3105030000 modified "2023-09-26" @default.
- W3105030000 title "Subexponentials in non-commutative linear logic" @default.
- W3105030000 cites W1495793844 @default.
- W3105030000 cites W1537907223 @default.
- W3105030000 cites W1774823771 @default.
- W3105030000 cites W1978223872 @default.
- W3105030000 cites W1982129592 @default.
- W3105030000 cites W2002130184 @default.
- W3105030000 cites W2004459113 @default.
- W3105030000 cites W2021289373 @default.
- W3105030000 cites W2023695988 @default.
- W3105030000 cites W2033407366 @default.
- W3105030000 cites W2039977878 @default.
- W3105030000 cites W2040807747 @default.
- W3105030000 cites W2055396755 @default.
- W3105030000 cites W2059292849 @default.
- W3105030000 cites W2063029497 @default.
- W3105030000 cites W2070324762 @default.
- W3105030000 cites W2078432227 @default.
- W3105030000 cites W2083147990 @default.
- W3105030000 cites W2086160027 @default.
- W3105030000 cites W2106458801 @default.
- W3105030000 cites W2107103878 @default.
- W3105030000 cites W2109724541 @default.
- W3105030000 cites W2117375083 @default.
- W3105030000 cites W2164449382 @default.
- W3105030000 cites W2164548001 @default.
- W3105030000 cites W2262347362 @default.
- W3105030000 cites W2318908254 @default.
- W3105030000 cites W2324363623 @default.
- W3105030000 cites W2325835442 @default.
- W3105030000 cites W2328580899 @default.
- W3105030000 cites W2534012541 @default.
- W3105030000 cites W2587511748 @default.
- W3105030000 cites W2741221732 @default.
- W3105030000 cites W2911865844 @default.
- W3105030000 cites W2962744611 @default.
- W3105030000 cites W4255194959 @default.
- W3105030000 cites W4301442799 @default.
- W3105030000 cites W614375011 @default.
- W3105030000 cites W81761572 @default.
- W3105030000 cites W87267104 @default.
- W3105030000 doi "https://doi.org/10.1017/s0960129518000117" @default.
- W3105030000 hasPublicationYear "2018" @default.
- W3105030000 type Work @default.
- W3105030000 sameAs 3105030000 @default.
- W3105030000 citedByCount "41" @default.
- W3105030000 countsByYear W31050300002016 @default.
- W3105030000 countsByYear W31050300002017 @default.
- W3105030000 countsByYear W31050300002018 @default.
- W3105030000 countsByYear W31050300002019 @default.
- W3105030000 countsByYear W31050300002020 @default.
- W3105030000 countsByYear W31050300002021 @default.
- W3105030000 countsByYear W31050300002022 @default.
- W3105030000 countsByYear W31050300002023 @default.
- W3105030000 crossrefType "journal-article" @default.
- W3105030000 hasAuthorship W3105030000A5048798287 @default.
- W3105030000 hasAuthorship W3105030000A5054465062 @default.
- W3105030000 hasAuthorship W3105030000A5071022257 @default.
- W3105030000 hasAuthorship W3105030000A5080152569 @default.
- W3105030000 hasBestOaLocation W31050300002 @default.
- W3105030000 hasConcept C108710211 @default.
- W3105030000 hasConcept C118615104 @default.
- W3105030000 hasConcept C126322002 @default.
- W3105030000 hasConcept C136119220 @default.
- W3105030000 hasConcept C153269930 @default.
- W3105030000 hasConcept C163415756 @default.
- W3105030000 hasConcept C183778304 @default.
- W3105030000 hasConcept C199360897 @default.
- W3105030000 hasConcept C202444582 @default.
- W3105030000 hasConcept C2318724 @default.
- W3105030000 hasConcept C2524010 @default.
- W3105030000 hasConcept C2776235265 @default.
- W3105030000 hasConcept C28077239 @default.
- W3105030000 hasConcept C33923547 @default.
- W3105030000 hasConcept C41008148 @default.
- W3105030000 hasConcept C4777664 @default.
- W3105030000 hasConcept C71924100 @default.
- W3105030000 hasConcept C80444323 @default.
- W3105030000 hasConceptScore W3105030000C108710211 @default.
- W3105030000 hasConceptScore W3105030000C118615104 @default.
- W3105030000 hasConceptScore W3105030000C126322002 @default.
- W3105030000 hasConceptScore W3105030000C136119220 @default.
- W3105030000 hasConceptScore W3105030000C153269930 @default.
- W3105030000 hasConceptScore W3105030000C163415756 @default.
- W3105030000 hasConceptScore W3105030000C183778304 @default.
- W3105030000 hasConceptScore W3105030000C199360897 @default.
- W3105030000 hasConceptScore W3105030000C202444582 @default.
- W3105030000 hasConceptScore W3105030000C2318724 @default.
- W3105030000 hasConceptScore W3105030000C2524010 @default.
- W3105030000 hasConceptScore W3105030000C2776235265 @default.