瓦洛塔，迭戈 与修正的激烈乘积t-范数有关的逻辑和代数的表示。 （英语） Zbl 1418.03124号 软计算。 23，第7期，2331-2342（2019）. 摘要：我们获得了RDP逻辑公式的函数表示和有限RDP代数的组合表示。由于RDP代数的种类包括哥德尔代数、DP代数和EMTL代数的种类，因此我们导出了此类种类及其相应逻辑的类似表示。 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03G25 与逻辑相关的其他代数 06B20号 格子的种类 关键词：RDP t-范数;RDP逻辑;有限RDP代数;哥德尔逻辑;DP逻辑;EMTL逻辑;功能表示法;组合表示 PDF格式BibTeX公司 XML格式引用 \textit{D.Valota}，软计算。23，第7号，2331--2342（2019；Zbl 1418.03124） 全文： 内政部 参考文献： [1] Aguzzoli S，Gerla B，Marra V（2008）通过有限可加性测度对哥德尔逻辑中的公式进行模糊化。2008年IEEE模糊系统国际会议（IEEE计算智能世界大会），第1886-1893页 [2] 阿古佐利，S。；Bova，S。；Gerla，B。；Cintula，P.（编辑）；Hájek，P.（编辑）；Noguera，C.（ed.），《自由代数与模糊逻辑的函数表示》，第2期，713-791（2011），剑桥·兹比尔1284.03172 [3] Aguzzoli S、Bianchi M、Valota D（2014），关于极端产品逻辑的注释。《信息处理与不确定性管理》，《计算机与信息科学通信》第443卷，第365-374页。施普林格·Zbl 1418.03118号 [4] Aguzzoli S，Bova S，Valota D（2017a）自由弱幂零极小代数。软计算21（1）：79-95·Zbl 1454.03090号 ·doi:10.1007/s00500-016-2340-6 [5] Aguzzoli S，Bianchi M，Gerla B，Valota D（2017b）哥德尔\[_\varDelta\]Δ逻辑中的概率测度。Antonucci A、Cholvy L、Papini O（eds）《用符号和定量方法进行不确定性推理的会议录：第14届欧洲会议》，ECSQARU，2017年7月10日至14日，瑞士卢加诺，第353-363页。施普林格·Zbl 1496.03096号 [6] Aguzzoli S，Bianchi M，Gerla B，Valota D（2018）命题Gödel \[\Delta\]Δ和Drastic乘积逻辑的自由代数、状态和对偶（提交手稿）·Zbl 1454.03035号 [7] Bianchi M（2015）最强和最弱t-规范的逻辑。模糊集系统276:31-42·Zbl 1373.03031号 ·doi:10.1016/j.fss.2015.01.013 [8] Bova S，Valota D（2012）有限RDP-代数：对偶，余积和逻辑。J测井计算22（3）：417-450·Zbl 1248.03082号 ·doi:10.1093/log.com/exr006 [9] Burris S，Sankappanavar HP（1981）普适代数课程。柏林施普林格·兹伯利0478.08001 ·doi:10.1007/978-1-4613-8130-3 [10] D'Antona OM，Marra V（2006）计算有限呈现Gödel代数的副产物。《Ann Pure Appl Logic》142（1）：202-211·Zbl 1099.03055号 ·doi:10.1016/j.apal.2005.12.15 [11] Esakia L（1974）拓扑Kripke模型。苏联数学知识15:147-151·Zbl 0296.02030号 [12] Esteva F，Domingo X（1980）《Sobre Negaciones Fuertes y Débiles en》[0,1]。随机4:141-166·Zbl 0448.03047号 [13] Esteva F，Godo L（2001）基于单体t-范数的逻辑：走向左旋t-范本的逻辑。模糊集系统124（3）：271-288·Zbl 0994.03017号 ·doi:10.1016/S0165-0114（01）00098-7 [14] Flaminio T、Godo L、Ugolini S（2018）《面向产品逻辑的概率理论：状态、积分表示和推理》。国际J批准理由93:199-218·Zbl 1448.60006号 ·doi:10.1016/j.ijar.2017.11.003 [15] Galatos N，Jipsen P，Kowalski T，Ono H（2007）《剩余格：子结构逻辑的代数一瞥》，逻辑与数学基础研究第151卷。阿姆斯特丹爱思唯尔·Zbl 1171.03001号 [16] Gerla B（2000）关于与哥德尔公式相关的函数的注释。软计算4（4）：206-209·Zbl 1002.03520号 ·doi:10.1007/PL00009890 [17] Hájek P（1998）《模糊逻辑的元数学》，逻辑趋势第4卷。Kluwer学术出版社，伦敦·Zbl 0937.03030号 [18] Horn A（1969）线性有序Heyting代数中具有真值的逻辑。J Symb日志34（3）：395-408·Zbl 0181.29904号 ·doi:10.2307/2270905 [19] Jenei S（2002）关于三角范数构造的序数和定理及其结果的注记。模糊集系统126（2）：199-205·Zbl 0996.03508号 ·doi:10.1016/S0165-0114（01）00040-9 [20] Jenei S，Montagna F（2002）Esteva和Godo逻辑MTL的标准完整性证明。螺柱日志70（2）：183-192·Zbl 0997.03027号 ·doi:10.1023/A：1015122331293 [21] Klement-EP，Mesiar R，Pap E（2000）三角规范，第8卷。logic-studia logica图书馆的发展趋势。多德雷赫特Kluwer学术出版社·Zbl 0972.0302号 [22] Mundici D（1995）《平均Łukasiewicz逻辑中的真值》。螺柱日志55（1）：113-127·Zbl 0836.03016号 ·doi:10.1007/BF01053035 [23] Noguera C（2006）基于三角范数的模糊逻辑公理扩展的代数研究。IIIA-CSIC博士论文 [24] 瓦洛塔，D。；Hosni，H.（编辑）；Montagna，F.（编辑），自由RDP-代数的Poset表示（2010），比萨·Zbl 1206.03057号 [25] Valota D（2018）哥德尔代数谱（已提交手稿） [26] Wang S（2007）修正的drastic乘积t-范数的模糊逻辑。软计算11（6）：585-590·Zbl 1119.03017号 ·doi:10.1007/s00500-005-0024-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。