Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Noncommutative_logic> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Noncommutative_logic 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.".
- Noncommutative_logic wikiPageExternalLink index.html.
- Noncommutative_logic wikiPageExternalLink S0168-0072(99)00014-7.
- Noncommutative_logic wikiPageExternalLink INTRODUCTION.ps.
- Noncommutative_logic wikiPageID "693282".
- Noncommutative_logic wikiPageRevisionID "583190950".
- Noncommutative_logic hasPhotoCollection Noncommutative_logic.
- Noncommutative_logic subject Category:Substructural_logic.
- Noncommutative_logic 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.".
- Noncommutative_logic label "Noncommutative logic".
- Noncommutative_logic sameAs m.0339v8.
- Noncommutative_logic sameAs Q7049221.
- Noncommutative_logic sameAs Q7049221.
- Noncommutative_logic wasDerivedFrom Noncommutative_logic?oldid=583190950.
- Noncommutative_logic isPrimaryTopicOf Noncommutative_logic.