FRINK Linked Data Fragments server

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

• W2990122892 abstract "Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a calculus, where the instructions for the diagram chasing are given in the form of rewriting rules. We apply this idea to the categorical semantics of the linear logic. We build a calculus directly on the free category of the semantics. It enables us to perform diagram chasing as essentially one-way computations led by the rewriting rules. We verify the weak termination property of this calculus. This gives the first step towards the mechanization of diagram chasing." @default.
• W2990122892 created "2019-12-05" @default.
• W2990122892 creator A5049269380 @default.
• W2990122892 date "2019-12-02" @default.
• W2990122892 modified "2023-09-27" @default.
• W2990122892 title "A categorical reduction system for linear logic." @default.
• W2990122892 cites W115669730 @default.
• W2990122892 cites W1517973224 @default.
• W2990122892 cites W1520893111 @default.
• W2990122892 cites W1553954213 @default.
• W2990122892 cites W171141860 @default.
• W2990122892 cites W1963658586 @default.
• W2990122892 cites W1985063546 @default.
• W2990122892 cites W20138908 @default.
• W2990122892 cites W2018773995 @default.
• W2990122892 cites W2049362364 @default.
• W2990122892 cites W2063179190 @default.
• W2990122892 cites W2075367647 @default.
• W2990122892 cites W2094645783 @default.
• W2990122892 cites W2120713972 @default.
• W2990122892 cites W2128713292 @default.
• W2990122892 cites W2152113165 @default.
• W2990122892 cites W2183034900 @default.
• W2990122892 cites W2519501411 @default.
• W2990122892 cites W2911865844 @default.
• W2990122892 cites W2912512531 @default.
• W2990122892 cites W2999049254 @default.
• W2990122892 hasPublicationYear "2019" @default.
• W2990122892 type Work @default.
• W2990122892 sameAs 2990122892 @default.
• W2990122892 citedByCount "0" @default.
• W2990122892 crossrefType "posted-content" @default.
• W2990122892 hasAuthorship W2990122892A5049269380 @default.
• W2990122892 hasConcept C105795698 @default.
• W2990122892 hasConcept C111335779 @default.
• W2990122892 hasConcept C111472728 @default.
• W2990122892 hasConcept C118615104 @default.
• W2990122892 hasConcept C136119220 @default.
• W2990122892 hasConcept C137212723 @default.
• W2990122892 hasConcept C138885662 @default.
• W2990122892 hasConcept C154690210 @default.
• W2990122892 hasConcept C184337299 @default.
• W2990122892 hasConcept C186399060 @default.
• W2990122892 hasConcept C189950617 @default.
• W2990122892 hasConcept C199343813 @default.
• W2990122892 hasConcept C199360897 @default.
• W2990122892 hasConcept C202444582 @default.
• W2990122892 hasConcept C2524010 @default.
• W2990122892 hasConcept C2777686260 @default.
• W2990122892 hasConcept C2780586882 @default.
• W2990122892 hasConcept C28077239 @default.
• W2990122892 hasConcept C33923547 @default.
• W2990122892 hasConcept C41008148 @default.
• W2990122892 hasConcept C5274069 @default.
• W2990122892 hasConcept C71924100 @default.
• W2990122892 hasConcept C80444323 @default.
• W2990122892 hasConceptScore W2990122892C105795698 @default.
• W2990122892 hasConceptScore W2990122892C111335779 @default.
• W2990122892 hasConceptScore W2990122892C111472728 @default.
• W2990122892 hasConceptScore W2990122892C118615104 @default.
• W2990122892 hasConceptScore W2990122892C136119220 @default.
• W2990122892 hasConceptScore W2990122892C137212723 @default.
• W2990122892 hasConceptScore W2990122892C138885662 @default.
• W2990122892 hasConceptScore W2990122892C154690210 @default.
• W2990122892 hasConceptScore W2990122892C184337299 @default.
• W2990122892 hasConceptScore W2990122892C186399060 @default.
• W2990122892 hasConceptScore W2990122892C189950617 @default.
• W2990122892 hasConceptScore W2990122892C199343813 @default.
• W2990122892 hasConceptScore W2990122892C199360897 @default.
• W2990122892 hasConceptScore W2990122892C202444582 @default.
• W2990122892 hasConceptScore W2990122892C2524010 @default.
• W2990122892 hasConceptScore W2990122892C2777686260 @default.
• W2990122892 hasConceptScore W2990122892C2780586882 @default.
• W2990122892 hasConceptScore W2990122892C28077239 @default.
• W2990122892 hasConceptScore W2990122892C33923547 @default.
• W2990122892 hasConceptScore W2990122892C41008148 @default.
• W2990122892 hasConceptScore W2990122892C5274069 @default.
• W2990122892 hasConceptScore W2990122892C71924100 @default.
• W2990122892 hasConceptScore W2990122892C80444323 @default.
• W2990122892 hasLocation W29901228921 @default.
• W2990122892 hasOpenAccess W2990122892 @default.
• W2990122892 hasPrimaryLocation W29901228921 @default.
• W2990122892 hasRelatedWork W1484754747 @default.
• W2990122892 hasRelatedWork W1486432780 @default.
• W2990122892 hasRelatedWork W1493407222 @default.
• W2990122892 hasRelatedWork W1538555558 @default.
• W2990122892 hasRelatedWork W1589736618 @default.
• W2990122892 hasRelatedWork W1590979665 @default.
• W2990122892 hasRelatedWork W1604818984 @default.
• W2990122892 hasRelatedWork W1621215822 @default.
• W2990122892 hasRelatedWork W2081259812 @default.
• W2990122892 hasRelatedWork W2152627457 @default.
• W2990122892 hasRelatedWork W2160480844 @default.
• W2990122892 hasRelatedWork W2305028122 @default.
• W2990122892 hasRelatedWork W2567841577 @default.
• W2990122892 hasRelatedWork W2601092150 @default.
• W2990122892 hasRelatedWork W2611340807 @default.
• W2990122892 hasRelatedWork W2758999113 @default.
• W2990122892 hasRelatedWork W2833946054 @default.
• W2990122892 hasRelatedWork W2965405805 @default.

• next