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

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

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