About: Noncommutative logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Logic where the order of operations affects outcomes

Property	Value
dbo:description	logic where the order of operations affects outcomes (en)
dbo:wikiPageExternalLink	https://dx.doi.org/10.1016/S0168-0072(99)00014-7 http://www.irisa.fr/paragraphe/Christian.Retore/ARTICLES/INTRODUCTION.ps http://alessio.guglielmi.name/res/cos/CNCLL/index.html
dbo:wikiPageWikiLink	dbr:Noncommutative_logic dbr:Sequent_calculus dbr:Categorial_grammar dbr:Joachim_Lambek dbr:Cut-elimination_theorem dbr:Hopf_algebra dbr:Combinatorial_species dbr:Partial_permutation dbr:Quantum_logic dbr:Linear_logic dbr:Denotational_semantics dbr:Calculus_of_structures dbc:Substructural_logic dbr:Jean-Yves_Girard dbr:Sequent dbr:Proof_net dbr:Substructural_type_system dbr:Computational_linguistics dbr:Deep_inference dbr:Structural_rule dbr:Lambek_calculus dbr:Ordered_type_system dbr:Inadmissible_inference_rule dbr:Alessio_Guglielmi dbr:Cyclic_linear_logic dbr:Pomset_logic dbr:Substructural_logics
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist
dct:subject	dbc:Substructural_logic
gold:hypernym	dbr:Extension
rdfs:label	Noncommutative logic (en) Lógica não comutativa (pt)
owl:sameAs	freebase:Noncommutative logic wikidata:Noncommutative logic dbpedia-pt:Noncommutative logic dbpedia-global:Noncommutative logic dbr:Noncommutative logic
prov:wasDerivedFrom	wikipedia-en:Noncommutative_logic?oldid=1281438424&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Noncommutative_logic
is dbo:wikiPageRedirects of	dbr:Ordered_logic_(linear_logic) dbr:Non-commutative_logic
is dbo:wikiPageWikiLink of	dbr:Noncommutative_logic dbr:Kappa_calculus dbr:Categorial_grammar dbr:Linear_logic dbr:Calculus_of_structures dbr:Substructural_type_system dbr:SymPy dbr:Deep_inference dbr:Outline_of_logic dbr:Ordered_logic_(linear_logic) dbr:Non-commutative_logic
is foaf:primaryTopic of	wikipedia-en:Noncommutative_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International