Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912695491> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2912695491 endingPage "166" @default.
- W2912695491 startingPage "155" @default.
- W2912695491 abstract "The proof-theoretic origins and specialized models of linear logic make it primarily operational in orientation. In contrast first-order logic treats the operational and denotational aspects of general mathematics quite evenhandedly. Here we show that linear logic has models of even broader denotational scope than those of first order logic, namely Chu spaces, the category of which Barr has observed to form a model of linear logic. We have previously argued that every category of n-ary relational structures embeds fully and concretely in the category of Chu spaces over 2n. The main contributions of this paper are improvements to that argument, and an embedding of every small category in the category of Chu spaces via a symmetric variant of the Yoneda embedding." @default.
- W2912695491 created "2019-02-21" @default.
- W2912695491 creator A5052139381 @default.
- W2912695491 date "1996-01-01" @default.
- W2912695491 modified "2023-10-14" @default.
- W2912695491 title "Broadening the denotational semantics of linear logic" @default.
- W2912695491 cites W1993205599 @default.
- W2912695491 cites W1996605832 @default.
- W2912695491 cites W2094685149 @default.
- W2912695491 cites W2109851385 @default.
- W2912695491 cites W2152693423 @default.
- W2912695491 cites W2911865844 @default.
- W2912695491 cites W3126996113 @default.
- W2912695491 doi "https://doi.org/10.1016/s1571-0661(05)80415-3" @default.
- W2912695491 hasPublicationYear "1996" @default.
- W2912695491 type Work @default.
- W2912695491 sameAs 2912695491 @default.
- W2912695491 citedByCount "3" @default.
- W2912695491 countsByYear W29126954912020 @default.
- W2912695491 countsByYear W29126954912022 @default.
- W2912695491 crossrefType "journal-article" @default.
- W2912695491 hasAuthorship W2912695491A5052139381 @default.
- W2912695491 hasBestOaLocation W29126954911 @default.
- W2912695491 hasConcept C102993220 @default.
- W2912695491 hasConcept C118615104 @default.
- W2912695491 hasConcept C136119220 @default.
- W2912695491 hasConcept C154945302 @default.
- W2912695491 hasConcept C156325763 @default.
- W2912695491 hasConcept C169896238 @default.
- W2912695491 hasConcept C184337299 @default.
- W2912695491 hasConcept C185592680 @default.
- W2912695491 hasConcept C199360897 @default.
- W2912695491 hasConcept C202444582 @default.
- W2912695491 hasConcept C207648694 @default.
- W2912695491 hasConcept C2778012447 @default.
- W2912695491 hasConcept C28077239 @default.
- W2912695491 hasConcept C29585364 @default.
- W2912695491 hasConcept C33923547 @default.
- W2912695491 hasConcept C41008148 @default.
- W2912695491 hasConcept C41608201 @default.
- W2912695491 hasConcept C55493867 @default.
- W2912695491 hasConcept C80444323 @default.
- W2912695491 hasConcept C98184364 @default.
- W2912695491 hasConceptScore W2912695491C102993220 @default.
- W2912695491 hasConceptScore W2912695491C118615104 @default.
- W2912695491 hasConceptScore W2912695491C136119220 @default.
- W2912695491 hasConceptScore W2912695491C154945302 @default.
- W2912695491 hasConceptScore W2912695491C156325763 @default.
- W2912695491 hasConceptScore W2912695491C169896238 @default.
- W2912695491 hasConceptScore W2912695491C184337299 @default.
- W2912695491 hasConceptScore W2912695491C185592680 @default.
- W2912695491 hasConceptScore W2912695491C199360897 @default.
- W2912695491 hasConceptScore W2912695491C202444582 @default.
- W2912695491 hasConceptScore W2912695491C207648694 @default.
- W2912695491 hasConceptScore W2912695491C2778012447 @default.
- W2912695491 hasConceptScore W2912695491C28077239 @default.
- W2912695491 hasConceptScore W2912695491C29585364 @default.
- W2912695491 hasConceptScore W2912695491C33923547 @default.
- W2912695491 hasConceptScore W2912695491C41008148 @default.
- W2912695491 hasConceptScore W2912695491C41608201 @default.
- W2912695491 hasConceptScore W2912695491C55493867 @default.
- W2912695491 hasConceptScore W2912695491C80444323 @default.
- W2912695491 hasConceptScore W2912695491C98184364 @default.
- W2912695491 hasLocation W29126954911 @default.
- W2912695491 hasOpenAccess W2912695491 @default.
- W2912695491 hasPrimaryLocation W29126954911 @default.
- W2912695491 hasRelatedWork W1511258729 @default.
- W2912695491 hasRelatedWork W1580166056 @default.
- W2912695491 hasRelatedWork W1965630431 @default.
- W2912695491 hasRelatedWork W2028133921 @default.
- W2912695491 hasRelatedWork W2047273923 @default.
- W2912695491 hasRelatedWork W2139185116 @default.
- W2912695491 hasRelatedWork W2475479500 @default.
- W2912695491 hasRelatedWork W2551539219 @default.
- W2912695491 hasRelatedWork W2912695491 @default.
- W2912695491 hasRelatedWork W4236155685 @default.
- W2912695491 hasVolume "3" @default.
- W2912695491 isParatext "false" @default.
- W2912695491 isRetracted "false" @default.
- W2912695491 magId "2912695491" @default.
- W2912695491 workType "article" @default.