{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T07:08:34Z”，“时间戳”：1648969714091}，“参考-计数”：9，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>我们研究了\u2018弱分布性\u2019作为重写规则定义在乘法证明结构上（特别是乘法证明网：MLL）。这种重写并没有保留校对集的类型，但仍然保留了它们的正确性。本文的具体贡献是，直接证明了：从一组简单的生成器开始（证明集是n<\/jats:italic>-ary\u2297 of \u0551-ized公理），任何单结论MLL证明网都可以通过重写（最高可达\u2297和\u0551结合性和交换性）<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668390“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:24:33Z“，”timestamp“：1198063473000}，”page“：“159-170”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“MLL证明集的完整性w.r.t.弱分布性”]，“前缀”：“10.1 017“，”卷“：”72“，”作者“：[{”给定”：“Jean-Baptiste”，“family”：“Joinet”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“56”，“在线发布”：{“date parts”：[[2014,3,12]}，“reference”：[{“key”：“S0022481200005545_ref009”，“nonstructured”：“Retor\u00e9 C.，漂亮的证明网：R&B图、完美匹配和串并图，技术报告RR-36-52，INRIA，1999.”}，{“key”：“S0022481200005545_ref003“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（01）00148-7”}，{“key”：“S00224821200005545_ref001”，“首页”：“230\u2013240”，“volume-title”：“RTA 97”，“卷”：“1232”，“author”：“Bechet”，“year”：“1997”}\u2013203“，”article-title“：”乘法的结构“，”volume“：”28“，”author“：”Danos“，”year“：”1995“，”journal-title“：”Archives for Mathematical Logic“}，{“key”：“S0022481200005545_ref006”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0304-3975（87）90045-4“}”，{”key“：Danos V.，La logique lin\u00e9aire applique\u00e 9e\u00e0 l'etude de divers processus de normalization（原理du\u03bb-calculauthor“：”Devarajan“，”year“：”1999“}，{“key”：“S0022481200005545_ref007”，“volume-title”：“ACM Transactions on Computational Logic”，“author”：“Guglielmi”}，“{”key“：”S0022481 200005545_ ref008“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/s00153-004-0242-2”}]，“container-title语言“：”en“，”链接“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005545“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：“2019-05-01T20:11:06Z”，“timestamptime”：1556741466000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005545\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2007,3]]}，”references-count“：9，”journal-issue“：{”issue“：“1”，“published-print”：{“日期-部分”：[2007,3]}}、“alternative-id”：[“S0022481120000”5545“]，”URL“：”http:\/\/dx.doi.org/10.2178\/jsl\/114668390“，”关系“：｛｝，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN类型“：[”value“：”0022-4812“，”type“：”print“｝，”value“：”1943-5886“，”type“：”electronic“｝]，”主题“：[]，”已发布“：”日期部分“：[[2007,3]]}｝