Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016135587> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2016135587 endingPage "98" @default.
- W2016135587 startingPage "49" @default.
- W2016135587 abstract "In this paper we introduce context categories to provide a framework for computations in context. The structure also provides a basis for developing the categorical proof theory of Girard's unified logic. A key feature of this logic is the separation of sequents into classical and linear zones. These zones may be modelled categorically as a context/computation separation given by a fibration. The perspective leads to an analysis of the exponential structure of linear logic using strength (or context) as the primitive notion. Context is represented by the classical zone on the left of the turnstile in unified logic. To model the classical zone to the right of the turnstile, it is necessary to introduce a notion of cocontext. This results in a fibrational fork over context and cocontext and leads to the notion of a bicontext category. When we add the structure of a weakly distributive category in a suitably fork fibred manner, we obtain a model for a core fragment of unified logic. We describe the sequent calculus for the fragment of unified logic modelled by context categories; cut elimination holds for this fragment. Categorical cut elimination also is valid, but a proof of this fact is deferred to a sequel." @default.
- W2016135587 created "2016-06-24" @default.
- W2016135587 creator A5053636420 @default.
- W2016135587 creator A5084038892 @default.
- W2016135587 creator A5087503903 @default.
- W2016135587 date "1997-03-01" @default.
- W2016135587 modified "2023-10-17" @default.
- W2016135587 title "Categories for computation in context and unified logic" @default.
- W2016135587 cites W1507082320 @default.
- W2016135587 cites W1968357837 @default.
- W2016135587 cites W2006941708 @default.
- W2016135587 cites W2018773995 @default.
- W2016135587 cites W2031289370 @default.
- W2016135587 cites W2041917765 @default.
- W2016135587 cites W2075367647 @default.
- W2016135587 cites W2144747140 @default.
- W2016135587 doi "https://doi.org/10.1016/s0022-4049(96)00162-4" @default.
- W2016135587 hasPublicationYear "1997" @default.
- W2016135587 type Work @default.
- W2016135587 sameAs 2016135587 @default.
- W2016135587 citedByCount "12" @default.
- W2016135587 countsByYear W20161355872012 @default.
- W2016135587 countsByYear W20161355872014 @default.
- W2016135587 countsByYear W20161355872021 @default.
- W2016135587 crossrefType "journal-article" @default.
- W2016135587 hasAuthorship W2016135587A5053636420 @default.
- W2016135587 hasAuthorship W2016135587A5084038892 @default.
- W2016135587 hasAuthorship W2016135587A5087503903 @default.
- W2016135587 hasBestOaLocation W20161355871 @default.
- W2016135587 hasConcept C11413529 @default.
- W2016135587 hasConcept C136119220 @default.
- W2016135587 hasConcept C166957645 @default.
- W2016135587 hasConcept C202444582 @default.
- W2016135587 hasConcept C2779343474 @default.
- W2016135587 hasConcept C33923547 @default.
- W2016135587 hasConcept C41008148 @default.
- W2016135587 hasConcept C45374587 @default.
- W2016135587 hasConcept C80444323 @default.
- W2016135587 hasConcept C94375191 @default.
- W2016135587 hasConcept C95457728 @default.
- W2016135587 hasConceptScore W2016135587C11413529 @default.
- W2016135587 hasConceptScore W2016135587C136119220 @default.
- W2016135587 hasConceptScore W2016135587C166957645 @default.
- W2016135587 hasConceptScore W2016135587C202444582 @default.
- W2016135587 hasConceptScore W2016135587C2779343474 @default.
- W2016135587 hasConceptScore W2016135587C33923547 @default.
- W2016135587 hasConceptScore W2016135587C41008148 @default.
- W2016135587 hasConceptScore W2016135587C45374587 @default.
- W2016135587 hasConceptScore W2016135587C80444323 @default.
- W2016135587 hasConceptScore W2016135587C94375191 @default.
- W2016135587 hasConceptScore W2016135587C95457728 @default.
- W2016135587 hasIssue "1-3" @default.
- W2016135587 hasLocation W20161355871 @default.
- W2016135587 hasOpenAccess W2016135587 @default.
- W2016135587 hasPrimaryLocation W20161355871 @default.
- W2016135587 hasRelatedWork W1768911797 @default.
- W2016135587 hasRelatedWork W2047454787 @default.
- W2016135587 hasRelatedWork W2058171746 @default.
- W2016135587 hasRelatedWork W2324899973 @default.
- W2016135587 hasRelatedWork W2332694326 @default.
- W2016135587 hasRelatedWork W2345600497 @default.
- W2016135587 hasRelatedWork W2363676341 @default.
- W2016135587 hasRelatedWork W241866648 @default.
- W2016135587 hasRelatedWork W3046926816 @default.
- W2016135587 hasRelatedWork W4251748586 @default.
- W2016135587 hasVolume "116" @default.
- W2016135587 isParatext "false" @default.
- W2016135587 isRetracted "false" @default.
- W2016135587 magId "2016135587" @default.
- W2016135587 workType "article" @default.