共查询到20条相似文献,搜索用时 45 毫秒
1.
格蕴涵代数的蕴涵表示定理 总被引:2,自引:1,他引:1
在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 相似文献
2.
证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义. 相似文献
3.
4.
研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。 相似文献
5.
6.
7.
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「1」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。 相似文献
8.
9.
10.
11.
格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性. 相似文献
12.
将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与(模糊)格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件. 相似文献
13.
本文给出了有界可换的BCK代数的分配性的一些等价条件,指出了格蕴涵代数与有界可换分配的BCK代数以及格H蕴涵代数与有界关联的BCK代数之间的对偶关系。 相似文献
14.
关于格蕴涵代数公理的一个注记 总被引:2,自引:0,他引:2
设在一个非空集合L上有一个二元运算→和两个零元运算O与I,除此之外没有其它已知的代数结构,利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧(定义2.1)。本文证明了只要这些运算满足格蕴涵代数的公理(不包括有余格的公理),(L,∨,∧,′)就是一个有泛界O,I的有余格(定理2.2)。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算,而且在这两种定义方式中蕴含运算所满足的条件是相同的。 相似文献
15.
利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法. 相似文献
16.
17.
18.
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。 相似文献
19.
关于格蕴涵代数的余元及结构 总被引:1,自引:0,他引:1
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。 相似文献
20.
讨论了当格蕴函代数L是完全分配格时蕴涵运算的一些性质,在格蕴函代数L上引入了集合的蕴函传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则的替换定理。 相似文献