E.杨。 带有打结公理的半线性逻辑。 （英语） Zbl 1505.03067号 伊朗。J.模糊系统。 第2号，第19页，第17-30页（2022年）. MSC公司： 03B52号 模糊逻辑；模糊逻辑 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：复杂的公理;迈阿诺姆;半线性逻辑;模糊逻辑;子结构逻辑 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang}，伊朗。J.模糊系统。19、2号、17--30（2022；Zbl 1505.03067） 全文： 内政部 参考文献： [1] P.Baldi，关于非形式逻辑某些扩展的标准完整性的注释，《软计算》，18（2014），1463-1470·Zbl 1333.03030号 [2] P.Baldi，A.Ciabattoni，《非形式逻辑的标准完整性》，2015年IEEE多值逻辑国际研讨会，（2015），78-83。 [3] S.Banerjee，多传感器数据融合中的模糊隶属度、部分聚合和增强，第11届WSEAS国际计算机会议论文集，希腊克里特岛，（2007），125-130。 [4] M.Bianchi，F.Montagna，n-收缩BL-逻辑，《数理逻辑档案》，50（2011），257-285·Zbl 1266.03041号 [5] B.D.Burrell，C.L.Sahley，K.J.Muller，非社交学习和5-羟色胺在药用水蛭中对学习至关重要的神经元的兴奋性中诱导类似的双向变化，《神经科学杂志》，15（2001），1401-1412。 [6] H.Bustince、M.Pagola、R.Mesiar、E.Hullermeier、F.Herrena，成对比较模糊建模的分组、重叠和广义双熵函数，IEEE模糊系统汇刊，20（2012），405-415。 [7] R.Cignoli，F.Esteva，L.Godo，A.Torrens，连续t-范数及其残差的基本模糊逻辑，软计算，4（2000），106-112。 [8] P.Cintula，R.Hor´c´ók，c.Noguera，非关联子结构逻辑及其半线性扩展：公理化和完备性，符号逻辑评论，6（2013），394-423·Zbl 1335.03023号 [9] P.Cintula，R.Hor´c´÷k，c.Noguera，《对基本模糊逻辑的探索》，载《Petr H´ajek on Mathematical fuzzy logic》，F.Montagna，（ed），Springer，Dordrecht，（2015），245-290·Zbl 1337.03089号 [10] P.Cintula，C.Noguera，《蕴涵（半liear）逻辑I：一个新的层次结构》，《数学逻辑档案》，49（2010），417-446·Zbl 1196.03013号 [11] P.Cintula，C.Noguera，《数学模糊逻辑的一般框架》，载于《数学模糊逻辑学手册》第1卷，P.Cintiula，R.Hor´C´k，C.Noguera（eds.），大学出版社，伦敦，（2011），103-207·Zbl 1284.03177号 [12] B.Detyniecki，B.Bouchon-Meunier，R.R.Yager，《平衡算符：聚合算符的新版本》，载于《1999年EUROFUSE-SIC联合会议论文集》，匈牙利布达佩斯，（1999），241-246。 [13] F.Durante，C.Sempi，塞米Copula，Kybernetika，41（2005），315-328·Zbl 1249.26021号 [14] V.Dzhunushaliev，《非结合量子力学》，《物理学基础通讯》，19（2006），57-167·Zbl 1099.81004号 [15] V.Dzhunushaliev，非结合量子力学的玩具模型，高能物理进展，2007（2007），10页，Doi:10.1155/2007/12387·Zbl 1160.81419号 [16] F.Esteva，L.Godo，基于单次t-范数的逻辑：走向左连续t-范数的逻辑，模糊集和系统，124（2001），271-288·Zbl 0994.03017号 [17] J.C.Fodor，T.Keresztfalvi，《模糊逻辑中的非标准连词及其含义》，《国际近似推理杂志》，12（1995），69-84·Zbl 0815.03017号 [18] J.C.Fodor，R.R.Yager，A.Rybalov，《非形式结构》，《国际不确定性模糊和基于知识的系统杂志》，6（1997），411-427·Zbl 1232.03015号 [19] N.Galatos，P.Jipsen，T.Kowalski，H.Ono，《剩余格：子结构逻辑的代数一瞥》，Elsevier，阿姆斯特丹，2007年·兹比尔1171.03001 [20] N.Galatos，H.Ono，《子结构逻辑的割消与强分离》，《纯粹与应用逻辑年鉴》，161（2010），1097-1133·Zbl 1245.03027号 [21] F.S.Garcia，P.G.´Alvarez，模糊积分的两个家族，模糊集与系统，18（1986），67-81·Zbl 0595.28011号 [22] I.R.Goodman，V.Kreinovich，R.Trejo，J.Martinez，R.Gonzalez，《一种更现实的（非关联）逻辑及其与人类推理心理学的关系》，发表于IFSA世界大会和第20届NAFIPS，国际会议，加拿大温哥华，2001年。 [23] I.R.Goodman，V.Kreinovich，R.Trejo，J.Martinez，R.Gonzalez，现实（非关联）逻辑和7±2定律的可能解释，国际近似推理杂志，29（2002），235-266·Zbl 1006.68129号 [24] P.H´ajek，《模糊逻辑的元数学》，Kluwer，阿姆斯特丹，1998年·Zbl 0937.03030号 [25] P.H´ajek，R.Mesiar，《关于连接词、拟连接词和模糊逻辑》，《软计算》，12（2008），1239-1243·Zbl 1152.03018号 [26] R.Hor´c´k，c.Noguera，M.Petr´11k，用结结构规则扩展直觉主义线性逻辑，《圣母院形式逻辑杂志》，35（1994），219-242·Zbl 0812.03008号 [27] R.Hori，H.Ono，H.Schellix，Onn-压缩模糊逻辑，《数学逻辑季刊》，53（2007），268-288·Zbl 1125.03017号 [28] S.Jenei，F.Montagna，Esteva和Godo逻辑MTL的标准完整性证明，Studia Logica，70（2002），183-192·Zbl 0997.03027号 [29] A.Jurio，H.Bustince，M.Pagola，A.Pradera，R.R.Yager，重叠和分组函数的一些性质及其在图像阈值化中的应用，模糊集与系统，229（2013），69-90·Zbl 1284.68549号 [30] M.Kanduslki，《非联想Lambek范畴文法与上下文无关文法的等价性》，Zeitschrift F–ur Mathematische Logik und Grundlagen der Mathematik，34（1988），103-114。 [31] R.A.Kleinknecht，评论：非社交恐惧获得：回顾性和纵向研究证据综述，行为研究与治疗，40（2002），159-163。 [32] E.P.Klement，A.Koles´arov´A，作为特殊1-Lipschitz聚合算子的连接函数和拟连接函数的扩展，Kybernetika，41（2005），329-348·Zbl 1249.60017号 [33] V.Kreinovich，《模糊逻辑中走向更现实（例如，非关联）的“和”-“或”-运算》，《软计算》，8（2004），274-280·Zbl 1074.03011号 [34] 刘海伟，完备格上的半单位形式及其蕴涵，模糊集与系统，191（2012），72-82·兹比尔1244.03091 [35] G.Metcalfe，F.Montagna，《亚结构模糊逻辑》，《符号逻辑杂志》，72（2007），834-864·Zbl 1139.03017号 [36] R.B.Nelson，《连接词简介》，Springer，纽约，2005年。 [37] 欧阳，《关于聚合算子确定的模糊含义》，《信息科学》，193（2012），153-162·兹比尔1248.03045 [38] Y.Su，H.W.Liu，W.Pedrycz，半单形分布方程，国际不确定性、模糊性和基于知识的系统杂志，27（2019），329-349·Zbl 1508.03061号 [39] C.J.Van Alten，命题线性逻辑打结扩展的有限模型性质，《符号逻辑杂志》，70（2005），84-98·Zbl 1089.03015号 [40] S.Wang，带幂公理的非范数逻辑，模糊集与系统，205（2012），116-126·Zbl 1273.03083号 [41] S.Wang，对合单形式逻辑标准完备性的证明，对称性，11（2019），1-50·Zbl 1425.03011号 [42] R.R.Yager，《关于模糊系统建模的推理结构》，载于《第三届IEEE模糊系统国际会议论文集》，奥兰多，（1994），1252-1256。 [43] R.R.Yager，《关于平均类型聚合》，IEEE系统、人与控制论汇刊，B部分，26（1994），209-221。 [44] R.R.Yager，A.Kelman，《模糊信息与兼容性、部分聚合和强化考虑因素的融合》，《国际近似推理杂志》，15（1996），93-122·Zbl 0937.68035号 [45] R.R.Yager，A.Rybalov，聚合技术中的完全强化算子，IEEE系统、人与控制论汇刊，B部分，28（1998），757-769。 [46] E.Yang，非关联模糊相关逻辑，《韩国逻辑杂志》，12（1）（2009），89-110。 [47] E.Yang，《关于非形式逻辑公理扩展的标准完备性》，《韩国逻辑杂志》，12（2）（2009），115-139。 [48] E.Yang，《重新审视非形式逻辑的公理扩展》，《韩国逻辑杂志》，17（2014），323-348。 [49] E.Yang，《无弱化、非关联模糊逻辑：基于Micanorm的逻辑，模糊集与系统》，276（2015），43-58·Zbl 1373.03038号 [50] E.Yang，《基本子结构核心模糊逻辑及其扩展：基于Mianorm的逻辑》，《模糊集与系统》，301（2016），1-18·Zbl 1378.03026号 [51] E.Yang，《对合基本子结构核心模糊逻辑：基于对合矩阵的逻辑》，《模糊集与系统》，320（2017），1-16·Zbl 1397.03046号 [52] E.Yang，基于Mianorm的逻辑与n-收缩和n-混合公理，《智能与模糊系统杂志》，37（2019），7895-7907。 [53] E.Yang，《基于Mianorm的逻辑与左右效力公理》，《韩国逻辑杂志》，23（2020），1-24。 [54] E.Yang，Micanrom聚合算子：基本逻辑代数性质，《软计算》，25（2021），1316713180·Zbl 1498.03145号 [55] L.A.Zadeh，前言，《模糊逻辑技术与应用》，R.J.II Marks（编辑），IEEE，Piscataway，（1994）。图的顶点，图论国际研讨会论文集，意大利罗马，1966年7月。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。