FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166378962> ?p ?o ?g. }

• W2166378962 endingPage "342" @default.
• W2166378962 startingPage "323" @default.
• W2166378962 abstract "We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's dual-context system for the intuitionistic case. The calculus has the non-linear and linear implications as the basic constructs, and this design choice allows a technically manageable axiomatisation without commuting conversions. Despite this simplicity, the calculus is shown to be sound and complete for category-theoretic models given by *-autonomous categories with linear exponential comonads." @default.
• W2166378962 created "2016-06-24" @default.
• W2166378962 creator A5022707936 @default.
• W2166378962 date "2005-04-01" @default.
• W2166378962 modified "2023-09-24" @default.
• W2166378962 title "Classical linear logic of implications" @default.
• W2166378962 cites W1496129690 @default.
• W2166378962 cites W1498421116 @default.
• W2166378962 cites W1522124799 @default.
• W2166378962 cites W1555249251 @default.
• W2166378962 cites W1563480347 @default.
• W2166378962 cites W1567995736 @default.
• W2166378962 cites W1592122327 @default.
• W2166378962 cites W1605806361 @default.
• W2166378962 cites W1882235344 @default.
• W2166378962 cites W1968350036 @default.
• W2166378962 cites W1985063546 @default.
• W2166378962 cites W1992485564 @default.
• W2166378962 cites W1993205599 @default.
• W2166378962 cites W2008920425 @default.
• W2166378962 cites W20138908 @default.
• W2166378962 cites W2016135587 @default.
• W2166378962 cites W2035102150 @default.
• W2166378962 cites W2045564677 @default.
• W2166378962 cites W2048781834 @default.
• W2166378962 cites W2054299141 @default.
• W2166378962 cites W2060269912 @default.
• W2166378962 cites W2065560971 @default.
• W2166378962 cites W2075367647 @default.
• W2166378962 cites W2088895474 @default.
• W2166378962 cites W2090319048 @default.
• W2166378962 cites W2095436832 @default.
• W2166378962 cites W2099554648 @default.
• W2166378962 cites W2106458801 @default.
• W2166378962 cites W2107267313 @default.
• W2166378962 cites W2171556610 @default.
• W2166378962 cites W220929679 @default.
• W2166378962 cites W2911865844 @default.
• W2166378962 cites W2912106379 @default.
• W2166378962 cites W2914468402 @default.
• W2166378962 cites W53839316 @default.
• W2166378962 cites W30227806 @default.
• W2166378962 doi "https://doi.org/10.1017/s0960129504004621" @default.
• W2166378962 hasPublicationYear "2005" @default.
• W2166378962 type Work @default.
• W2166378962 sameAs 2166378962 @default.
• W2166378962 citedByCount "13" @default.
• W2166378962 countsByYear W21663789622016 @default.
• W2166378962 countsByYear W21663789622017 @default.
• W2166378962 countsByYear W21663789622019 @default.
• W2166378962 countsByYear W21663789622023 @default.
• W2166378962 crossrefType "journal-article" @default.
• W2166378962 hasAuthorship W2166378962A5022707936 @default.
• W2166378962 hasBestOaLocation W21663789622 @default.
• W2166378962 hasConcept C111472728 @default.
• W2166378962 hasConcept C11413529 @default.
• W2166378962 hasConcept C118615104 @default.
• W2166378962 hasConcept C124952713 @default.
• W2166378962 hasConcept C134306372 @default.
• W2166378962 hasConcept C136119220 @default.
• W2166378962 hasConcept C138885662 @default.
• W2166378962 hasConcept C142362112 @default.
• W2166378962 hasConcept C151376022 @default.
• W2166378962 hasConcept C151730666 @default.
• W2166378962 hasConcept C199343813 @default.
• W2166378962 hasConcept C202444582 @default.
• W2166378962 hasConcept C2776235265 @default.
• W2166378962 hasConcept C2776372474 @default.
• W2166378962 hasConcept C2777686260 @default.
• W2166378962 hasConcept C2779343474 @default.
• W2166378962 hasConcept C2780586882 @default.
• W2166378962 hasConcept C2780980858 @default.
• W2166378962 hasConcept C28077239 @default.
• W2166378962 hasConcept C33923547 @default.
• W2166378962 hasConcept C42747912 @default.
• W2166378962 hasConcept C71924100 @default.
• W2166378962 hasConcept C86803240 @default.
• W2166378962 hasConceptScore W2166378962C111472728 @default.
• W2166378962 hasConceptScore W2166378962C11413529 @default.
• W2166378962 hasConceptScore W2166378962C118615104 @default.
• W2166378962 hasConceptScore W2166378962C124952713 @default.
• W2166378962 hasConceptScore W2166378962C134306372 @default.
• W2166378962 hasConceptScore W2166378962C136119220 @default.
• W2166378962 hasConceptScore W2166378962C138885662 @default.
• W2166378962 hasConceptScore W2166378962C142362112 @default.
• W2166378962 hasConceptScore W2166378962C151376022 @default.
• W2166378962 hasConceptScore W2166378962C151730666 @default.
• W2166378962 hasConceptScore W2166378962C199343813 @default.
• W2166378962 hasConceptScore W2166378962C202444582 @default.
• W2166378962 hasConceptScore W2166378962C2776235265 @default.
• W2166378962 hasConceptScore W2166378962C2776372474 @default.
• W2166378962 hasConceptScore W2166378962C2777686260 @default.
• W2166378962 hasConceptScore W2166378962C2779343474 @default.
• W2166378962 hasConceptScore W2166378962C2780586882 @default.
• W2166378962 hasConceptScore W2166378962C2780980858 @default.
• W2166378962 hasConceptScore W2166378962C28077239 @default.
• W2166378962 hasConceptScore W2166378962C33923547 @default.
• W2166378962 hasConceptScore W2166378962C42747912 @default.

• next