Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497029596> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1497029596 endingPage "2" @default.
- W1497029596 startingPage "1" @default.
- W1497029596 abstract "We pursue the program of exposing the intrinsic mathematical structure of the “space of a proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linear Logic (MALL). We use tools from Domain theory to develop a semantic notion of proof net for MALL, and prove a Sequentialization Theorem. We also give an interactive criterion for strategies, formalized in the same Domain-theoretic setting, to come from proofs, and show that a “semantic proof structure” satisfies the geometric correctness criterion for proof-nets if and only if it satisfies the interactive criterion for strategies. We also use the Domain-theoretic setting to give an elegant compositional account of Cut-Elimination. This work is a continuation of previous joint work with Radha Jagadeesan [AJ94b] and Paul-André Melliès [AM99]." @default.
- W1497029596 created "2016-06-24" @default.
- W1497029596 creator A5081687891 @default.
- W1497029596 date "2007-01-01" @default.
- W1497029596 modified "2023-09-23" @default.
- W1497029596 title "Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)" @default.
- W1497029596 cites W2009804064 @default.
- W1497029596 cites W2094685149 @default.
- W1497029596 cites W2166666657 @default.
- W1497029596 cites W2911865844 @default.
- W1497029596 doi "https://doi.org/10.1007/978-3-540-74915-8_1" @default.
- W1497029596 hasPublicationYear "2007" @default.
- W1497029596 type Work @default.
- W1497029596 sameAs 1497029596 @default.
- W1497029596 citedByCount "0" @default.
- W1497029596 crossrefType "book-chapter" @default.
- W1497029596 hasAuthorship W1497029596A5081687891 @default.
- W1497029596 hasConcept C105605280 @default.
- W1497029596 hasConcept C108710211 @default.
- W1497029596 hasConcept C11413529 @default.
- W1497029596 hasConcept C118615104 @default.
- W1497029596 hasConcept C134306372 @default.
- W1497029596 hasConcept C136119220 @default.
- W1497029596 hasConcept C17231256 @default.
- W1497029596 hasConcept C173613240 @default.
- W1497029596 hasConcept C195653647 @default.
- W1497029596 hasConcept C199343813 @default.
- W1497029596 hasConcept C202444582 @default.
- W1497029596 hasConcept C203265346 @default.
- W1497029596 hasConcept C206880738 @default.
- W1497029596 hasConcept C2318724 @default.
- W1497029596 hasConcept C2524010 @default.
- W1497029596 hasConcept C2777686260 @default.
- W1497029596 hasConcept C28077239 @default.
- W1497029596 hasConcept C33923547 @default.
- W1497029596 hasConcept C36503486 @default.
- W1497029596 hasConcept C41008148 @default.
- W1497029596 hasConcept C42747912 @default.
- W1497029596 hasConcept C55439883 @default.
- W1497029596 hasConcept C71924100 @default.
- W1497029596 hasConcept C80444323 @default.
- W1497029596 hasConceptScore W1497029596C105605280 @default.
- W1497029596 hasConceptScore W1497029596C108710211 @default.
- W1497029596 hasConceptScore W1497029596C11413529 @default.
- W1497029596 hasConceptScore W1497029596C118615104 @default.
- W1497029596 hasConceptScore W1497029596C134306372 @default.
- W1497029596 hasConceptScore W1497029596C136119220 @default.
- W1497029596 hasConceptScore W1497029596C17231256 @default.
- W1497029596 hasConceptScore W1497029596C173613240 @default.
- W1497029596 hasConceptScore W1497029596C195653647 @default.
- W1497029596 hasConceptScore W1497029596C199343813 @default.
- W1497029596 hasConceptScore W1497029596C202444582 @default.
- W1497029596 hasConceptScore W1497029596C203265346 @default.
- W1497029596 hasConceptScore W1497029596C206880738 @default.
- W1497029596 hasConceptScore W1497029596C2318724 @default.
- W1497029596 hasConceptScore W1497029596C2524010 @default.
- W1497029596 hasConceptScore W1497029596C2777686260 @default.
- W1497029596 hasConceptScore W1497029596C28077239 @default.
- W1497029596 hasConceptScore W1497029596C33923547 @default.
- W1497029596 hasConceptScore W1497029596C36503486 @default.
- W1497029596 hasConceptScore W1497029596C41008148 @default.
- W1497029596 hasConceptScore W1497029596C42747912 @default.
- W1497029596 hasConceptScore W1497029596C55439883 @default.
- W1497029596 hasConceptScore W1497029596C71924100 @default.
- W1497029596 hasConceptScore W1497029596C80444323 @default.
- W1497029596 hasLocation W14970295961 @default.
- W1497029596 hasOpenAccess W1497029596 @default.
- W1497029596 hasPrimaryLocation W14970295961 @default.
- W1497029596 hasRelatedWork W122982323 @default.
- W1497029596 hasRelatedWork W1497029596 @default.
- W1497029596 hasRelatedWork W1524804222 @default.
- W1497029596 hasRelatedWork W1961313574 @default.
- W1497029596 hasRelatedWork W2040769847 @default.
- W1497029596 hasRelatedWork W2463991046 @default.
- W1497029596 hasRelatedWork W3187382182 @default.
- W1497029596 hasRelatedWork W4200235154 @default.
- W1497029596 hasRelatedWork W49870449 @default.
- W1497029596 hasRelatedWork W2119682046 @default.
- W1497029596 isParatext "false" @default.
- W1497029596 isRetracted "false" @default.
- W1497029596 magId "1497029596" @default.
- W1497029596 workType "book-chapter" @default.