共查询到17条相似文献,搜索用时 68 毫秒
1.
目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。 相似文献
2.
BR0-代数定义的简化形式 总被引:3,自引:0,他引:3
作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系. 相似文献
3.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的. 相似文献
4.
5.
利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。 相似文献
6.
研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质,得到形式系统Y^*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合BCK-代数,并给出关于R0-代数的一个重要反例,说明了R0-代数中V与→是各自独立的. 相似文献
7.
在BR0代数中引入模糊滤子和模糊布尔滤子的概念,给出了BR0代数中模糊滤子的充要条件以及若干性质。讨论了模糊布尔滤子与截集的关系。最后得到了模糊布尔滤子的几个等价刻画。 相似文献
8.
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论. 相似文献
9.
《河南师范大学学报(自然科学版)》2016,(3):7-13
在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质. 相似文献
10.
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的. 相似文献
11.
在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 相似文献
12.
WBR_0-代数的正则性及与其他逻辑代数的关系 总被引:1,自引:0,他引:1
通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有:(1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。 相似文献
13.
关于R0代数公理系统的简化与独立性的修正 总被引:8,自引:1,他引:7
目的简化R0代数的定义。方法修正并利用《R0代数公理系统的简化与独立性》一文的主要结果来考察R0代数的原始定义及其性质。结果给出了R0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的(弱)R0代数的简化定义已是最简。 相似文献
14.
R_0-代数上的滤子拓扑空间 总被引:1,自引:0,他引:1
周红军 《山东大学学报(自然科学版)》2012,(4):110-115
在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。 相似文献
15.
在BR0- 代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 相似文献
16.
乔希民 《青海师范大学学报(自然科学版)》2013,29(3):1-5
在研究基础R0-代数的基础上.得到了基础R0-代数的一组有趣性质,进而给出了严格化的简洁证明.同时指出了这组性质顺序的相对性,以凸显其应用的广泛性. 相似文献
17.
通过提出模糊逻辑代数NBR_0的概念,研究逻辑代数NBR_0的代数结构,定义其上的运算,并探讨新运算,→_1,→_2与原运算之间关系,得到了NBR_0代数的一个等价刻画. 相似文献