Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Noncommutative_logic> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples 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 wikiPageLength "5459".
- Noncommutative_logic wikiPageOutDegree "27".
- Noncommutative_logic wikiPageRevisionID "583190950".
- Noncommutative_logic wikiPageWikiLink Admissible_rule.
- Noncommutative_logic wikiPageWikiLink Alessio_Guglielmi.
- Noncommutative_logic wikiPageWikiLink Calculus_of_structures.
- Noncommutative_logic wikiPageWikiLink Categorial_grammar.
- Noncommutative_logic wikiPageWikiLink Category:Substructural_logic.
- Noncommutative_logic wikiPageWikiLink Combinatorial_species.
- Noncommutative_logic wikiPageWikiLink Computational_linguistics.
- Noncommutative_logic wikiPageWikiLink Cut-elimination_theorem.
- Noncommutative_logic wikiPageWikiLink Deep_inference.
- Noncommutative_logic wikiPageWikiLink Denotational_semantics.
- Noncommutative_logic wikiPageWikiLink Hopf_algebra.
- Noncommutative_logic wikiPageWikiLink Jean-Yves_Girard.
- Noncommutative_logic wikiPageWikiLink Joachim_Lambek.
- Noncommutative_logic wikiPageWikiLink Linear_logic.
- Noncommutative_logic wikiPageWikiLink Partial_permutation.
- Noncommutative_logic wikiPageWikiLink Proof_net.
- Noncommutative_logic wikiPageWikiLink Quantum_logic.
- Noncommutative_logic wikiPageWikiLink Sequent.
- Noncommutative_logic wikiPageWikiLink Sequent_calculus.
- Noncommutative_logic wikiPageWikiLink Structural_rule.
- Noncommutative_logic wikiPageWikiLink Substructural_logic.
- Noncommutative_logic wikiPageWikiLink Substructural_type_system.
- Noncommutative_logic wikiPageWikiLinkText "Non-commutative logic".
- Noncommutative_logic wikiPageWikiLinkText "Noncommutative logic".
- Noncommutative_logic wikiPageWikiLinkText "noncommutative logic".
- Noncommutative_logic wikiPageWikiLinkText "noncommutative".
- Noncommutative_logic wikiPageWikiLinkText "ordered".
- Noncommutative_logic wikiPageUsesTemplate Template:Cleanup.
- Noncommutative_logic wikiPageUsesTemplate Template:Main.
- Noncommutative_logic wikiPageUsesTemplate Template:Reflist.
- Noncommutative_logic subject Category:Substructural_logic.
- Noncommutative_logic hypernym Extension.
- Noncommutative_logic type Software.
- Noncommutative_logic type Page.
- 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 Q7049221.
- Noncommutative_logic sameAs m.0339v8.
- Noncommutative_logic sameAs Q7049221.
- Noncommutative_logic wasDerivedFrom Noncommutative_logic?oldid=583190950.
- Noncommutative_logic isPrimaryTopicOf Noncommutative_logic.