Matches in SemOpenAlex for { <https://semopenalex.org/work/W2933189939> ?p ?o ?g. }
- W2933189939 endingPage "168" @default.
- W2933189939 startingPage "150" @default.
- W2933189939 abstract "Commuting conversions of Linear Logic induce a notion of dependency between rules inside a proof derivation: a rule depends on a previous rule when they cannot be permuted using the conversions. We propose a new interpretation of proofs of Linear Logic as causal invariants which captures exactly this dependency. We represent causal invariants using game semantics based on general event structures, carving out, inside the model of [6], a submodel of causal invariants. This submodel supports an interpretation of unit-free Multiplicative Additive Linear Logic with MIX (MALL $$^-$$ ) which is (1) fully complete: every element of the model is the denotation of a proof and (2) injective: equality in the model characterises exactly commuting conversions of MALL $$^-$$ . This improves over the standard fully complete game semantics model of MALL $$^-$$ ." @default.
- W2933189939 created "2019-04-11" @default.
- W2933189939 creator A5018079507 @default.
- W2933189939 creator A5054171989 @default.
- W2933189939 date "2019-01-01" @default.
- W2933189939 modified "2023-10-16" @default.
- W2933189939 title "Causality in Linear Logic" @default.
- W2933189939 cites W1484778177 @default.
- W2933189939 cites W1605309428 @default.
- W2933189939 cites W1607623316 @default.
- W2933189939 cites W1890268527 @default.
- W2933189939 cites W1964454590 @default.
- W2933189939 cites W2024042018 @default.
- W2933189939 cites W2031381178 @default.
- W2933189939 cites W2035512820 @default.
- W2933189939 cites W2085264580 @default.
- W2933189939 cites W2107067818 @default.
- W2933189939 cites W2115184394 @default.
- W2933189939 cites W2128713292 @default.
- W2933189939 cites W2138552902 @default.
- W2933189939 cites W2146242204 @default.
- W2933189939 cites W2911865844 @default.
- W2933189939 cites W4233702006 @default.
- W2933189939 cites W4302064146 @default.
- W2933189939 cites W52305328 @default.
- W2933189939 cites W793018389 @default.
- W2933189939 doi "https://doi.org/10.1007/978-3-030-17127-8_9" @default.
- W2933189939 hasPublicationYear "2019" @default.
- W2933189939 type Work @default.
- W2933189939 sameAs 2933189939 @default.
- W2933189939 citedByCount "3" @default.
- W2933189939 countsByYear W29331899392019 @default.
- W2933189939 countsByYear W29331899392022 @default.
- W2933189939 countsByYear W29331899392023 @default.
- W2933189939 crossrefType "book-chapter" @default.
- W2933189939 hasAuthorship W2933189939A5018079507 @default.
- W2933189939 hasAuthorship W2933189939A5054171989 @default.
- W2933189939 hasBestOaLocation W29331899391 @default.
- W2933189939 hasConcept C108710211 @default.
- W2933189939 hasConcept C11413529 @default.
- W2933189939 hasConcept C118615104 @default.
- W2933189939 hasConcept C134306372 @default.
- W2933189939 hasConcept C136119220 @default.
- W2933189939 hasConcept C138885662 @default.
- W2933189939 hasConcept C139997677 @default.
- W2933189939 hasConcept C149106765 @default.
- W2933189939 hasConcept C154945302 @default.
- W2933189939 hasConcept C156325763 @default.
- W2933189939 hasConcept C184337299 @default.
- W2933189939 hasConcept C19768560 @default.
- W2933189939 hasConcept C199360897 @default.
- W2933189939 hasConcept C202444582 @default.
- W2933189939 hasConcept C207648694 @default.
- W2933189939 hasConcept C2524010 @default.
- W2933189939 hasConcept C2780882242 @default.
- W2933189939 hasConcept C28077239 @default.
- W2933189939 hasConcept C33923547 @default.
- W2933189939 hasConcept C41008148 @default.
- W2933189939 hasConcept C41895202 @default.
- W2933189939 hasConcept C42747912 @default.
- W2933189939 hasConcept C527412718 @default.
- W2933189939 hasConcept C9672783 @default.
- W2933189939 hasConceptScore W2933189939C108710211 @default.
- W2933189939 hasConceptScore W2933189939C11413529 @default.
- W2933189939 hasConceptScore W2933189939C118615104 @default.
- W2933189939 hasConceptScore W2933189939C134306372 @default.
- W2933189939 hasConceptScore W2933189939C136119220 @default.
- W2933189939 hasConceptScore W2933189939C138885662 @default.
- W2933189939 hasConceptScore W2933189939C139997677 @default.
- W2933189939 hasConceptScore W2933189939C149106765 @default.
- W2933189939 hasConceptScore W2933189939C154945302 @default.
- W2933189939 hasConceptScore W2933189939C156325763 @default.
- W2933189939 hasConceptScore W2933189939C184337299 @default.
- W2933189939 hasConceptScore W2933189939C19768560 @default.
- W2933189939 hasConceptScore W2933189939C199360897 @default.
- W2933189939 hasConceptScore W2933189939C202444582 @default.
- W2933189939 hasConceptScore W2933189939C207648694 @default.
- W2933189939 hasConceptScore W2933189939C2524010 @default.
- W2933189939 hasConceptScore W2933189939C2780882242 @default.
- W2933189939 hasConceptScore W2933189939C28077239 @default.
- W2933189939 hasConceptScore W2933189939C33923547 @default.
- W2933189939 hasConceptScore W2933189939C41008148 @default.
- W2933189939 hasConceptScore W2933189939C41895202 @default.
- W2933189939 hasConceptScore W2933189939C42747912 @default.
- W2933189939 hasConceptScore W2933189939C527412718 @default.
- W2933189939 hasConceptScore W2933189939C9672783 @default.
- W2933189939 hasLocation W29331899391 @default.
- W2933189939 hasLocation W29331899392 @default.
- W2933189939 hasOpenAccess W2933189939 @default.
- W2933189939 hasPrimaryLocation W29331899391 @default.
- W2933189939 hasRelatedWork W2035140398 @default.
- W2933189939 hasRelatedWork W2166861684 @default.
- W2933189939 hasRelatedWork W2294598681 @default.
- W2933189939 hasRelatedWork W2573712298 @default.
- W2933189939 hasRelatedWork W2912243182 @default.
- W2933189939 hasRelatedWork W2939071790 @default.
- W2933189939 hasRelatedWork W2952079152 @default.
- W2933189939 hasRelatedWork W2952136710 @default.