{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,17]]，“日期-时间”：“2024-01-17T12:19:18Z”，“时间戳”：1705493958945}，“参考-计数”：27，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{-date-parts”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”摘要<\/jats:title>考虑一类一般的结构推理规则，如交换、减弱、收缩及其推广。其中，一些是无害的，但另一些是有害的削减消除。因此，当一组结构规则添加到无结构逻辑中时，自然会问在什么条件下保留了剪切消除。这项工作的目的是利用代数语义给出这样一个条件<\/锯齿：p>我们考虑完全Lambek演算(FL<\/jats:bold>），即没有任何结构规则的直觉主义逻辑，作为我们的基本框架。剩余格是对应于FL（飞行高度层）。在这种情况下，我们引入了一个标准，称为传播属性，它可以用句法和代数术语表示。然后我们证明，对于任何一组结构规则u211b，截消定理适用于当且仅当\u211b满足传播特性时，FL<\/jats:bold>使用\u211 b进行充实<\/锯齿：p>作为一个应用，我们证明了任何结构规则集\u211b都可以将\u201c补足\u201d到另一个集\u21b*中，因此对于FL富含u211b*。而可证明性保持不变<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333839“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：，“卷”：“72”，“作者“：[{”given“：”Kazushige“，”family“：”Terui“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“：[}”key“：“S0022481200005053_ref017”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S1571-0661（05）80414-1”}，{“key”：“S0.02”2481200005053_ref020“，“首页”：“790\u2013802”，“卷”：“64”，“作者”：“Okada“，”year“：”1999“，”journal-title“：”直觉主义线性逻辑各种片段的有限模型性质“}，”key“：”S0022481200005053_ref008“，”volume-title”：“子结构逻辑”，”author“：”Do\u0161en“，”year“：“1993”}，“key”：“S002248.1200005053_ ref009”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-975（87）90045-4”}“，{“密钥”：“S0022481200005053_ref007“，“首页”：“95\u2013119”，“文章标题”：“走向删减的语义表征”，“卷”：“82”，“作者”：“Ciabattoni”，“年份”：“2006”，“日志标题”：”Stadia Logica“}，{“key”：“S002248.1200005053_ ref015”，“首页面”：“2\u201323”，“卷标”：“Tableaux 2002”，“体积”：“2381”，“作家”：“Miller”，“年份“：”2002“}，{”key”：“S0022481200005053_ref006”，“第一页”：“135\u2013149”，“卷标题”：“LPAR2006”，“卷”：“4246”，“作者”：“Ciabattoni”，“年份”：“2006”｝，｛“key”：“S0022481200005053_ref004”，“卷标题”：“行动中的语言：类别、Lambdas和动态逻辑”，“作者”：“vanBenthem”，“年份”：“1991”｝，｛“key”：“S0022481200005053_ref003”，“第一页”：“1\u201332”，“article-title“：“消减的代数方面”，“卷”：“68”，“作者”：“Belardinelli”，“年份”：“2001”，“新闻标题”：“Stadia Logica”}，{“键”：“S0022481200005053_ref026”，“首页”：“251\u2013265”，“卷标”：“IJCAR 2006”，“体积”：“4130”，“作家”：“扎曼斯基”，“年”：“2006”}f014“，”首页“：”227\u2013249“，”article-title“：“子结构逻辑与混合”，“卷”：“11”，“作者”：“卡米德”，“年份”：“2002”，“期刊标题”：“逻辑、语言与信息杂志”}，{“键”：“S0022481200005053_ref005”，“首页”：“503\u2013517”，“卷标”：“CSL 2004”，“体积”：“3210”，“作家”：“Ciabattoni”，“年”：“2004”}_ref010“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511629150“}，{”key“：”S0022481200005053_ref013“，”首页“：”19\u201356“，”volume-title“：”有序代数结构“，”author“：”Jipsen“，”year“：”2002，“卷”：“2083”，“作者”：“Avron”，“年份”：“2001”}，{“密钥”：“S0022481200005053_ref016”，“doi断言者”：“publisher”，“doi”：“10.44288\/jafpos1956.2.183”}，｛“key”：“S0022481200005053_ref018”，“doi断言者”：“publisher”，“doi”：“10.1016/S0304-3975（99）00058-4”}，｛“key”：“S0022481200005053_ref011”，“首页”：“215\u2013272”，“卷标题”：“计算逻辑”，“作者”：“Girard”，“年份”：“1999”}，｛“密钥”：“S0022481200005053_ref019“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（02 1451“，“卷”：“56”，“作者”：“Abrusci”，“年份”：“1991”，“journal-title“：“纯非交换经典线性命题逻辑的阶段语义和序列演算”}，{“key”：“S0022481200005053_ref025”，“volume-title”：“线性逻辑讲座”，“author”：“Troelstra”，“year”：“1992”}子结构逻辑和剩余格\u2014 An introduction”，“volume”：“20”，“author”：“Ono”，“year”：“2003”，“journal-title”：“Trends in Logic”}，{“key”：”S0022481200005053_ref024“，”volume-title“：”An introduction to Substructural logics“，”author“：”Restall“，“year:”1999“}”，{：“10.1007 \/s11225-006-6611-6“}，{“key”：“S0022481200005053_ref012”，“doi-asserted-by”：“publisher”，“doi”：“10.1305 \/ndjfl \/1094061862”}，}“key”：“SO002248120005053_rf021”，“首页”：“95\u2013104”，“volume-title”：“数学逻辑”，“author”：“Ono”，“年份”：“1990”}]，“container-title“：[”符号杂志逻辑“]，”原文标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005053“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：“2019-05-01T21:21:11Z”，“timestamp”：1556745671000}，“score”：1，“资源”：{“主资源”：}URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005053\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2007,9]]}，”references-count“：27，”journal-issue“：{”issue“：”3“，”published-print“：{”date-parts“：[[2007，9]]]}}”，“alternative-id“：[”S0]022481200005053“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1191333839“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,9]]}}}}