{"id":"https://openalex.org/W2913700957","doi":"https://doi.org/10.1016/s1571-0661(05)82517-4","title":"A Noncommutative Full Completeness Theorem","display_name":"A Noncommutative Full Completeness Theorem","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2913700957","doi":"https://doi.org/10.1016/s1571-0661(05)82517-4","mag":"2913700957"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)82517-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82517-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)82517-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087503903","display_name":"Richard Blute","orcid":null},"institutions":[{"id":"https://openalex.org/I1318003438","display_name":"RELX Group (Netherlands)","ror":"https://ror.org/02scfj030","country_code":"NL","type":"company","lineage":["https://openalex.org/I1318003438","https://openalex.org/I4210160603"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"R.F. Blute","raw_affiliation_strings":["Dept. of Mathematics University of Ottawa Ottawa, Ontario K1N 6N5 CANADA E. N. T. C. S. Elsevier Science B. V"],"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics University of Ottawa Ottawa, Ontario K1N 6N5 CANADA E. N. T. C. S. Elsevier Science B. V","institution_ids":["https://openalex.org/I1318003438"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061486314","display_name":"Philip Scott","orcid":"https://orcid.org/0000-0002-6289-4260"},"institutions":[{"id":"https://openalex.org/I1318003438","display_name":"RELX Group (Netherlands)","ror":"https://ror.org/02scfj030","country_code":"NL","type":"company","lineage":["https://openalex.org/I1318003438","https://openalex.org/I4210160603"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"P.J. Scott","raw_affiliation_strings":["Dept. of Mathematics University of Ottawa Ottawa, Ontario K1N 6N5 CANADA E. N. T. C. S. Elsevier Science B. V"],"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics University of Ottawa Ottawa, Ontario K1N 6N5 CANADA E. N. T. C. S. Elsevier Science B. V","institution_ids":["https://openalex.org/I1318003438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061486314","https://openalex.org/A5087503903"],"corresponding_institution_ids":["https://openalex.org/I1318003438"],"apc_list":null,"apc_paid":null,"fwci":0.5522,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79241559,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":null,"first_page":"28","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.7893886566162109},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7889622449874878},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.632354199886322},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.615001380443573},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5924186110496521},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4851020574569702},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46987205743789673},{"id":"https://openalex.org/keywords/hopf-algebra","display_name":"Hopf algebra","score":0.46872982382774353},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.46389225125312805},{"id":"https://openalex.org/keywords/vector-space","display_name":"Vector space","score":0.45515793561935425},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.45290595293045044},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.43400606513023376},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.37058189511299133}],"concepts":[{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.7893886566162109},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7889622449874878},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.632354199886322},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.615001380443573},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5924186110496521},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4851020574569702},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46987205743789673},{"id":"https://openalex.org/C29712632","wikidata":"https://www.wikidata.org/wiki/Q1627597","display_name":"Hopf algebra","level":3,"score":0.46872982382774353},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.46389225125312805},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.45515793561935425},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.45290595293045044},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.43400606513023376},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37058189511299133},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)82517-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82517-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)82517-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82517-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W84695432","https://openalex.org/W656712215","https://openalex.org/W768986384","https://openalex.org/W1596682622","https://openalex.org/W1979324214","https://openalex.org/W2029971057","https://openalex.org/W2032735854","https://openalex.org/W2041917765","https://openalex.org/W2050134666","https://openalex.org/W2050396985","https://openalex.org/W2074070481","https://openalex.org/W2078432227","https://openalex.org/W2079171825","https://openalex.org/W2094685149","https://openalex.org/W2109851385","https://openalex.org/W2120950381","https://openalex.org/W2169086642","https://openalex.org/W2315068134","https://openalex.org/W2596987805","https://openalex.org/W2911340109","https://openalex.org/W2914837968","https://openalex.org/W3161688318","https://openalex.org/W4234269419","https://openalex.org/W6622037082","https://openalex.org/W6758338737"],"related_works":["https://openalex.org/W3111851529","https://openalex.org/W1796994019","https://openalex.org/W467679","https://openalex.org/W2107067818","https://openalex.org/W1701381474","https://openalex.org/W1996605832","https://openalex.org/W2611558577","https://openalex.org/W2012710467","https://openalex.org/W1979035026","https://openalex.org/W2913299800"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,11,36,49,61,82,87,99],"full":[3,148],"completeness":[4],"theorem":[5,101],"for":[6,104],"the":[7,54,71,74,91,105,121,135],"multiplicative":[8],"fragment":[9],"of":[10,13,38,48,64,76,90,120,124,150],"variant":[12],"noncommutative":[14,140],"linear":[15,20],"logic":[16,21],"known":[17],"as":[18,81],"cyclic":[19],"(CyLL),":[22],"first":[23],"defined":[24],"by":[25,31],"Yetter.":[26],"The":[27,126],"semantics":[28],"is":[29,86,102,143,156],"obtained":[30,103],"considering":[32],"dinatural":[33],"transformations":[34],"on":[35],"category":[37],"topological":[39],"vector":[40,62],"spaces":[41],"which":[42,114],"are":[43,59,115],"invariant":[44,116],"under":[45,117],"certain":[46,118],"actions":[47,119],"noncocommutative":[50],"Hopf":[51,131],"algebra,":[52],"called":[53],"shuffle":[55],"algebra.":[56],"Multiplicative":[57],"sequents":[58],"assigned":[60],"space":[63,72],"such":[65],"dinaturals,":[66],"and":[67],"we":[68,111],"show":[69],"that":[70,109],"has":[73],"denotations":[75],"cut-free":[77],"proofs":[78],"in":[79,157],"CyLL+MIX":[80],"basis.":[83],"This":[84,142],"work":[85],"natural":[88],"extension":[89],"authors'":[92],"previous":[93],"work,":[94],"\u201cLinear":[95],"L\u00e4uchli":[96],"Semantics\u201d,":[97],"where":[98],"similar":[100],"commutative":[106,138],"logic.":[107,141],"In":[108],"paper,":[110,152],"consider":[112],"dinaturals":[113],"additive":[122],"group":[123],"integers.":[125],"passage":[127,136],"from":[128,137],"groups":[129],"to":[130,134,139],"algebras":[132],"corresponds":[133],"an":[144],"extended":[145],"abstract.":[146],"A":[147],"version":[149],"this":[151],"with":[153],"complete":[154],"proofs,":[155],"preparation.":[158]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}