Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7049221> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Q7049221 subject Q8823549.
- Q7049221 abstract "Noncommutative logic is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus (see External links below). Its sequent calculus relies on the structure of order varieties (a family of cyclic orders which may be viewed as a species of structure), and the correctness criterion for its proof nets is given in terms of partial permutations. It also has a denotational semantics in which formulas are interpreted by modules over some specific Hopf algebras.".
- Q7049221 wikiPageExternalLink index.html.
- Q7049221 wikiPageExternalLink S0168-0072(99)00014-7.
- Q7049221 wikiPageExternalLink INTRODUCTION.ps.
- Q7049221 wikiPageWikiLink Q1029256.
- Q7049221 wikiPageWikiLink Q1189746.
- Q7049221 wikiPageWikiLink Q1206311.
- Q7049221 wikiPageWikiLink Q1401935.
- Q7049221 wikiPageWikiLink Q1560157.
- Q7049221 wikiPageWikiLink Q1627597.
- Q7049221 wikiPageWikiLink Q1771121.
- Q7049221 wikiPageWikiLink Q182557.
- Q7049221 wikiPageWikiLink Q1841499.
- Q7049221 wikiPageWikiLink Q3087821.
- Q7049221 wikiPageWikiLink Q3457091.
- Q7049221 wikiPageWikiLink Q376166.
- Q7049221 wikiPageWikiLink Q4457949.
- Q7049221 wikiPageWikiLink Q4548693.
- Q7049221 wikiPageWikiLink Q5018901.
- Q7049221 wikiPageWikiLink Q5250402.
- Q7049221 wikiPageWikiLink Q7632172.
- Q7049221 wikiPageWikiLink Q839490.
- Q7049221 wikiPageWikiLink Q841728.
- Q7049221 wikiPageWikiLink Q843632.
- Q7049221 wikiPageWikiLink Q8823549.
- Q7049221 comment "Noncommutative logic is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus (see External links below). Its sequent calculus relies on the structure of order varieties (a family of cyclic orders which may be viewed as a species of structure), and the correctness criterion for its proof nets is given in terms of partial permutations.".
- Q7049221 label "Noncommutative logic".