{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,8,27]]，“日期-时间”：“2024-08-27T13:49:00Z”，“时间戳”：1724766540319}，“参考-计数”：20，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[{“开始”：{-date-parts“：[[2014,3,12]]，“时间me“：”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>子结构模糊逻辑是关于格约简为实单位区间[0,1]的代数的完备子结构逻辑。本文介绍了Uninormal逻辑UL作为乘法加法直觉线性逻辑用预线性公理扩展MAILL（（A\u2192 B）\u2227 t）V（（B\u2192A）\u22527 t）</jats:italic>。的公理化扩展UL<\/jats:bold>包括已知的模糊逻辑，如Monoidt<\/jats:italic>-范数逻辑MIX和G\u00f6del逻辑G<\/jats:bold>和新的无削弱逻辑。这些逻辑的代数语义由（可表示的）点有界交换剩余格的子变种提供。在超序列的框架中给出了允许剪切消除的Gentzen系统。建立了具有格约简[0,1]的代数的完备性UL<\/jats:bold>和几个使用两部分策略的扩展。首先，证明了用Takeuti和Titani密度规则扩展的逻辑的完备性。然后使用超连续演算给出了规则的语法消除。作为一个代数推论，它得出了某些类型的剩余格是由其成员用格约简[0，1]生成的<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333844“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:25:04Z“，”timestamp“：1198063504000}，”page“：“834-864”，“source”：“Crossref”，“is-referenced-by-count”：114，“title”：[“Substructural fuzzy logics”]，“prefix”：“10.1017”，“volume”：“72”，“作者”：[{“给定”：“乔治”，“家庭”：“Metcalfe“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Franco“，”family“：”Montagna“，”sequence“:”additional“，”filiation”：[]{“，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]}，”reference“：[{”key“：“S0022481200005107_ref006”，”doi-asserted-by“：“publisher”，“doi”：“10.1007\/s00153-006-0011-5“}”，{“密钥”：“S0022481200005107_ref016”，“首页“：”900“，”卷“：”48“，”作者“：”Pottinger“，”年份“：”1983“，”日志标题“：”T，S4和S5的统一、无裁剪公式（摘要）“}，{“key”：“S0022481200005107_ref003”，“首页”：“315\u2013332”，“article-title”：“基于单体T范数逻辑的分析计算”，“卷”：“59”，“author”：“Baaz”，”年份：“2004”，“日志标题”：“”Fundamenta Informaticae“}，{“key”：“S0022481200005107_ref011”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-94-011-5300-3“}”，{”key“：”S002248.1200005107_ ref001“，”首页“：”939\u2013951“，”卷“：”52“，”作者“：”Avron“，”年份“1987”，”期刊标题“：”RM的建设性分析“}_ref002“，”doi-asserted-by“：”publisher“，“DOI“：”10.1007\/BF01531058“}，{“key”：“S0022481200005107_ref004”，“first page”：”187\u2013201“，“volume-title”：“CSL 2000会议记录”，“author”：“Baaz”，”year“：”2000“}“，{”key“：7_ref005“，”首页“：”441\u2013453“，”文章标题“：”基于T范数的n收缩逻辑，“volume”：“12”，“author”：“Ciabattoni”，“year”：“2002”，“journal-title”：“Neural Network World”}，{“key”：”S0022481200005107_ref007“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0377-2217（98）00325-7“}，”{“key”：\/S0165-0114（01）00098-7“}，{“键”：”S0022481200005107_ref010”，“doi断言者”：“publisher”，“doi”：“10.1007\\s0153-007-0047-1”｝，｛“key”：“S0022481200005107_ref012”，“doi断言者”：“publisher”，“doi”：“10.1023\\A:105122331293”｝，｛“key”：“S0022481200005107_ref013”，“doi断言者”：“publisher”，“doi”：“10.1007\\s0153-004-0225-3”｝，｛“key”：“S0022481200005107_ref013”f017”，“卷标题”：“子结构逻辑导论”，“author”：“Restall”，“year”：“1999”}，{“key”：“S0022481200005107_ref019”，“first page”：”437\u2013461“，“article-title”：“The structure of residuated latches”，“volume”：《13》，“author”：“Tsinakis”，“年份”：“2003”，“journal title”：《International journal of Algebra and Computation》}，“key“：”S0022481 200005107_ ref020“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0165-0114（95）00133-6“}，{“key”：“S0022481200005107_ref014”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/1071596.1071600”}，“key“：”S002248.1200005107_ ref018“，”首页“：”851\u2013866“，”卷“：”49“，”作者“：”Takeuti“，“年份”：“1984”，“日志标题“：”直觉模糊逻辑和直觉模糊集理论“}，{”key“：”S0022481200005107_ref015“，”first page“：“169\u2013201”，“volume”：“50”，“author”：“Ono”，“year”：“1985”，“journal title”：“Logics without the construction rule”}]，“container-title”：[“journal of Symbolic logic”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005107“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,1]]，“date-time”：”2019-05-01T17:20:53Z“，“timestamp”：1556731253000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005107\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2007,9]]}，”references-count“：20，”journal-issue“：{”issue“：“3”，“published-print”：{“日期-部件”：[2007,9]}}、“alternative-id”：[“S0022481120000”5107“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1191333844“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,9]]}}}}