一元MV-代数(L,(A))由MV-代数连同其上的一个一元算子(A)构成,其中(A)是一元多值谓词逻辑中任意量词的代数解释.考虑到MTL-代数是......

　　不同逻辑代数共性的研究导致各种基础逻辑代数的建立,其中剩余格结构是多种基础逻辑代数所具有的基本特性。本文首先通过在剩......

在研究非经典数理逻辑的语构理论时(特别是讨论逻辑系统完备性时), 通常要考查与之相关的代数系统的结构, 比如Lukasiewicz连续值......

自从1998年P．Hajek在他的著作《Metamathematics of Fuzzy Logic》中基于连续t-模提出一种新的模糊命题演绎系统-BL系统和相应的代......

在有限MTL-链上提出了伪准相等的概念,并研究了它的基本性质.证明了由伪准相等诱导的关系是一个同余关系,进一步利用伪准相等给出......

通过数学软件Mathematica得到全部八阶以下的MTL-代数．采用的计算n（n≤8）阶MTL-代数的算法为从低阶有界分配格出发，依据MTL-代数蕴涵算......

滤子理论在多值逻辑及相关代数研究中起到了非常重要的作用。在交换剩余格上引入了MTL-滤子的概念，并给出了这类滤子的若干的刻画。......

引入了λ交软MTL-滤子、强交软MTL-滤子、交软MTL-滤子的概念,其中交软MTL-滤子是λ交软MTL-滤子的特例。讨论了λ交软MTL-滤子的......

将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和......

在对 BL-代数及其相关逻辑代数研究的基础上，通过加强 MTL-代数条件的方法建立BL-代数的一种弱化形式---WBL-代数，并给出 WBL-代数结......