Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549284562> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1549284562 abstract "It is known that (mix) proof nets admits a coherence semantics, computed as a set of experiments. We prove here the converse: a proof structure is shown to be a proof net whenever its sets of experiments is a semantical object --- a clique of the corresponding coherence space. Moreover the interpretation of atomic formulae can be restricted to a given coherent space with three tokens in its web. This is done by transforming tt cut links into tt tensor links. Dealing directly with non-cut-free proof structure we characterise the deadlock freeness of the reduced proof structure. These results are especially convenient for Abramsky's proof expressions, and can be extended to the pomset calculus." @default.
- W1549284562 created "2016-06-24" @default.
- W1549284562 creator A5030211091 @default.
- W1549284562 creator A5037996699 @default.
- W1549284562 date "1994-12-01" @default.
- W1549284562 modified "2023-10-17" @default.
- W1549284562 title "On the relation between coherence semantics and multiplicative proof nets." @default.
- W1549284562 cites W159715351 @default.
- W1549284562 cites W1603473135 @default.
- W1549284562 cites W2012968289 @default.
- W1549284562 cites W2079171825 @default.
- W1549284562 cites W2094685149 @default.
- W1549284562 cites W2098119415 @default.
- W1549284562 cites W2120950381 @default.
- W1549284562 cites W2129290355 @default.
- W1549284562 cites W2294530123 @default.
- W1549284562 cites W2911865844 @default.
- W1549284562 hasPublicationYear "1994" @default.
- W1549284562 type Work @default.
- W1549284562 sameAs 1549284562 @default.
- W1549284562 citedByCount "5" @default.
- W1549284562 countsByYear W15492845622019 @default.
- W1549284562 countsByYear W15492845622020 @default.
- W1549284562 crossrefType "journal-article" @default.
- W1549284562 hasAuthorship W1549284562A5030211091 @default.
- W1549284562 hasAuthorship W1549284562A5037996699 @default.
- W1549284562 hasConcept C105795698 @default.
- W1549284562 hasConcept C108710211 @default.
- W1549284562 hasConcept C118615104 @default.
- W1549284562 hasConcept C134306372 @default.
- W1549284562 hasConcept C136119220 @default.
- W1549284562 hasConcept C184337299 @default.
- W1549284562 hasConcept C195653647 @default.
- W1549284562 hasConcept C199360897 @default.
- W1549284562 hasConcept C202444582 @default.
- W1549284562 hasConcept C2318724 @default.
- W1549284562 hasConcept C2524010 @default.
- W1549284562 hasConcept C2781181686 @default.
- W1549284562 hasConcept C28077239 @default.
- W1549284562 hasConcept C33923547 @default.
- W1549284562 hasConcept C41008148 @default.
- W1549284562 hasConcept C42747912 @default.
- W1549284562 hasConceptScore W1549284562C105795698 @default.
- W1549284562 hasConceptScore W1549284562C108710211 @default.
- W1549284562 hasConceptScore W1549284562C118615104 @default.
- W1549284562 hasConceptScore W1549284562C134306372 @default.
- W1549284562 hasConceptScore W1549284562C136119220 @default.
- W1549284562 hasConceptScore W1549284562C184337299 @default.
- W1549284562 hasConceptScore W1549284562C195653647 @default.
- W1549284562 hasConceptScore W1549284562C199360897 @default.
- W1549284562 hasConceptScore W1549284562C202444582 @default.
- W1549284562 hasConceptScore W1549284562C2318724 @default.
- W1549284562 hasConceptScore W1549284562C2524010 @default.
- W1549284562 hasConceptScore W1549284562C2781181686 @default.
- W1549284562 hasConceptScore W1549284562C28077239 @default.
- W1549284562 hasConceptScore W1549284562C33923547 @default.
- W1549284562 hasConceptScore W1549284562C41008148 @default.
- W1549284562 hasConceptScore W1549284562C42747912 @default.
- W1549284562 hasLocation W15492845621 @default.
- W1549284562 hasOpenAccess W1549284562 @default.
- W1549284562 hasPrimaryLocation W15492845621 @default.
- W1549284562 hasRelatedWork W1136297157 @default.
- W1549284562 hasRelatedWork W1557526700 @default.
- W1549284562 hasRelatedWork W1695339719 @default.
- W1549284562 hasRelatedWork W1965630431 @default.
- W1549284562 hasRelatedWork W1967535898 @default.
- W1549284562 hasRelatedWork W2085264580 @default.
- W1549284562 hasRelatedWork W2134137673 @default.
- W1549284562 hasRelatedWork W2138520644 @default.
- W1549284562 hasRelatedWork W2166745846 @default.
- W1549284562 hasRelatedWork W2166861684 @default.
- W1549284562 hasRelatedWork W2583750720 @default.
- W1549284562 hasRelatedWork W2899920859 @default.
- W1549284562 hasRelatedWork W2915293568 @default.
- W1549284562 hasRelatedWork W2951685654 @default.
- W1549284562 hasRelatedWork W2962743500 @default.
- W1549284562 hasRelatedWork W2964318228 @default.
- W1549284562 hasRelatedWork W3100367581 @default.
- W1549284562 hasRelatedWork W3126030350 @default.
- W1549284562 hasRelatedWork W158925964 @default.
- W1549284562 hasRelatedWork W2565178118 @default.
- W1549284562 isParatext "false" @default.
- W1549284562 isRetracted "false" @default.
- W1549284562 magId "1549284562" @default.
- W1549284562 workType "article" @default.