FI-代数相关论文
随着信息科学与人工智能研究的不断发展,模糊逻辑与多值逻辑已取得十分丰硕的成果.逻辑代数作为命题逻辑系统的语义理论已形成了一......
多值逻辑的一个重要研究方向是对有关代数系统的研究,不同的多值逻辑系统对应着不同的多值逻辑代数.著名逻辑学家C.C.Chang提出了M......
导子的概念来源于分析学,它对应于分析学中微分的概念.将导子引入到逻辑代数的研究中是近年来兴起的一种逻辑代数的研究方法.FI-代......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^＊和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^＊系......
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(......
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代......
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏......
建立一种基于FI-代数的模糊命题演算的形式演绎系统,并讨论了该系统语义的完备性.其目的在于使通常的众多模糊推理系统能够纳入该......
将WBR0-代数的条件进行两种不同形式的弱化,建立了模糊BR0-代数（FBR0-代数）结构和正则BR0-代数（RBR0-代数）结构,讨论了其中的相关性质.......
对FI-代数的各种滤子概念进行fuzzy化，引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画......
建立了一个新的蕴涵算子RZh,证明了利用RZh-蕴涵区间上的模糊赋值,可将任一泛蕴涵代数"等值"地转化为一个FI-代数.......
在模糊命题逻辑系统F^M1的基础上，建立了一个基于FI一代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念，并基于安全......
引入了QFI－代数概念，并讨论了它们的几个重要性质．...
