×
乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡

单体三角模逻辑MTL的对偶表。 （英文） Zbl 1216.03045号

模糊集系统。 162，第1期，39-52（2011）.
作者摘要：“单体三角范数逻辑MTL是左包含三角范数的逻辑。在本文中，我们给出了逻辑MTL的关系形式化，然后引入了可用于验证MTL公式有效性的关系对偶表。我们证明了系统的合理性和完备性。”
审核人：米夏·巴琴斯基（卡托维兹）

引用于1文件

MSC公司：

03B52号 模糊逻辑；模糊逻辑

关键词：

模糊逻辑;一元三角范数逻辑;关系逻辑;双表系统
PDF格式BibTeX公司 XML格式引用
\textit{J.Golin ska-Pilarek}和\textit{E.Orłowska}，模糊集系统。162，编号1，39-52（2011；Zbl 1216.03045）
全文： 内政部

参考文献：

[1] Baaz，M。；Ciabattoni，A。；Montagna，F.，基于单体t范数逻辑的分析计算，《信息基础》，59315-332（2004）·Zbl 1057.03019号
[2] Burrieza，A。；Ojeda-Aciego，M。；Orłowska，E.，《用于数量级定性推理的双表辅助系统的实现》，《国际计算机数学杂志》，86，10/11，1852-1866（2009）·Zbl 1191.03008号
[3] 卡布勒，L.M。；Celani，S.A.，一些格序代数结构的Priestley对偶，包括MTL公司,IMTL公司和中压-代数，中欧数学杂志，4，4，600-623（2006）·Zbl 1114.06010号
[4] L.M.Cabrer，S.A.Celani，基于单体t-范数逻辑的Kripke语义MTL公司IMTL公司; L.M.Cabrer，S.A.Celani，基于单体t-范数逻辑的Kripke语义MTL公司IMTL公司
[5] A.Ciabattoni、C.G.Fermüller、Hypersequents作为Urquhart的统一框架C类MTL公司; A.Ciabattoni、C.G.Fermüller、Hypersequents作为Urquhart的统一框架C类MTL公司
[6] 埃斯特娃，F。；Godo，L.，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集与系统，124，3，271-288（2001）·Zbl 0994.03017号
[7] A.Formisano，E.G.Omodeo，E.Orłowska，《模态逻辑关系翻译的PROLOG工具：关系证明系统的前端》，收录于：B.Beckert（编辑），TABLEAUX 2005年《立场文件和教程描述》，科布伦茨-朗道大学，Fachberichte Informatik，第12卷，2005年，第1-10页。；A.Formisano，E.G.Omodeo，E.Orłowska，《模态逻辑关系翻译的PROLOG工具：关系证明系统的前端》，载于：B.Beckert（Ed.），TABLEAUX 2005年《立场文件和教程描述》，科布伦茨-朗道大学，Fachberichte Informatik，第12卷，2005年，第1-10页。
[8] 福米萨诺，A。；Nicolosi-Asmundo，M.，命题非经典逻辑的有效关系演绎系统，应用非经典逻辑杂志，16，3/4，367-408（2006）·Zbl 1186.03044号
[9] 加巴伊，D。；梅特卡夫，G。；Olivetti，N.，超序列和模糊逻辑，Ciencias Revista de la Real Academia de Ciencia，98，1，113-126（2004）·Zbl 1070.03012号
[10] J.Goliñska-Pilarek，A.Mora Bonilla，E.Munoz Velasco，《可忽略、非接近和距离的数量级推理的关系证明系统的ATP》，收录于：《人工智能讲义》，第5351卷，2008年，第128-139页。；J.Goliñska-Pilarek，A.Mora Bonilla，E.Munoz Velasco，《可忽略、非接近和距离的数量级推理的关系证明系统的ATP》，收录于：《人工智能讲义》，第5351卷，2008年，第128-139页。
[11] Jenei，S。；Montagna，F.，Esteva和Godo逻辑标准完备性的证明MTL公司，《逻辑研究》，70，2183-192（2002）·Zbl 0997.03027号
[12] 克莱门特，E.P。；梅西亚尔，R。；Pap，E.，三角范数（2000），Kluwer:Kluwer-Dordrecht·Zbl 0972.0302号
[13] 西麦考尔。；Orłowska，E.，应用于Lambek演算的关系证明系统的对应结果，Studia Logica，71，3，389-414（2002）·2017年3月10日
[14] G.Metcalfe，命题模糊逻辑的证明理论，博士论文，伦敦国王学院，2003。；G.Metcalfe，命题模糊逻辑的证明理论，博士论文，伦敦国王学院，2003年。
[15] 梅特卡夫，G。；Olivetti，N。；Gabbay，D.，《产品逻辑的分析证明演算》，《数理逻辑档案》，43，7，859-889（2004）·Zbl 1066.03036号
[16] 梅特卡夫，G。；Olivetti，N。；Gabbay，D.，Abelian和Łukasiewicz逻辑的序列和超序列计算，ACM计算逻辑事务，6，3，578-613（2005）·Zbl 1407.03037号
[17] 梅特卡夫，G。；Olivetti，N。；Gabbay，D.，《模糊逻辑的证明理论》（2009），施普林格：施普林格-海德堡·Zbl 1168.03002号
[18] 蒙塔格纳，F。；Ono，H.，《Esteva和Godo逻辑的Kripke语义、不可判定性和标准完整性》（MTL for all），Studia Logica，71，2，227-245（2002）·兹比尔1013.03021
[19] 蒙塔格纳，F。；Pinna，G.M。；Tiezzi，E.B.P.，《哈耶克逻辑的表格演算》BL公司《逻辑与计算杂志》，13，2，241-259（2003）·Zbl 1055.03017号
[20] Mundici，D。；Olivetti，N.，《尤卡西维茨无限值微积分中的分辨率和模型构建》，理论计算机科学，200，1-2，335-366（1998）·Zbl 0921.03013号
[21] Olivetti，N.，《关于Łukasiewicz无限值逻辑的表》，Studia Logica，73，1，81-111（2003）·Zbl 1015.03032号
[22] Ono，H.，《没有收缩规则的谓词逻辑语义分析》，Studia Logica，44，2，187-196（1985）·Zbl 0595.03019号
[23] Ono，H.，《子结构逻辑的语义》，（Došen，K.；Schroeder-Heister，P.，《亚结构逻辑》（1993），牛津大学出版社），259-291·Zbl 0941.03522号
[24] E.Orłowska，J.Goliñska-Pilarek，双重表：基础，方法论，案例研究，逻辑趋势36。施普林格，2011，DOI 10.1007/978-94-007-0005-5 1，一本印刷的书；E.Orłowska，J.Goliñska-Pilarek，双重表：基础，方法论，案例研究，逻辑趋势36。施普林格，2011，DOI 10.1007/978-94-007-0005-5 1，一本印刷的书·Zbl 1210.03001号
[25] Orłowska，E。；Radzikowska，A.，一些公理扩展的离散对偶MTL公司代数，（Cintula，P.；Haniková，Z.；Švejdar，V.，《见证的岁月——纪念Petr Hájek的论文》，第10卷（2009年），大学出版物：伦敦国王学院，伦敦大学出版社），329-344·Zbl 1225.03093号
[26] E.Orłowska，I.Rewitzky，《离散对偶及其在不完全信息推理中的应用》，载于：《计算机科学讲义》，第4585卷，2007年，第51-56页。；E.Orłowska，I.Rewitzky，《离散对偶及其在不完全信息推理中的应用》，载于：《计算机科学讲义》，第4585卷，2007年，第51-56页。
[27] 或者E·奥斯卡。；Rewitzky，I.，Galois型连接的代数及其离散对偶，模糊集与系统，161，9，1325-1342（2010）·兹比尔1195.03059
[28] E.Orłowska，A.Radzikowska，I.Rewitzky，《离散表示性和离散二元性》，2010年，该书初稿。；E.Orłowska，A.Radzikowska，I.Rewitzky，《离散可表示性和离散二元性》，2010年，该书初稿。
[29] 拉西奥瓦，H。；Sikorski，R.，《关于Gentzen定理》，《数学基础》，48，57-69（1960）·Zbl 0099.00603号
[30] H.Wagner，Łukasiewicz无限值命题逻辑的新解析演算，载于：FTP 98会议录，技术报告E1852-GS-981，TU Wien，奥地利，1998年，第234-243页。；H.Wagner，Łukasiewicz无限值命题逻辑的新解析演算，载于：FTP 98会议录，技术报告E1852-GS-981，TU Wien，奥地利，1998年，第234-243页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。