共查询到19条相似文献,搜索用时 62 毫秒
1.
R0-代数的格蕴涵表示定理 总被引:8,自引:0,他引:8
通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。 相似文献
2.
3.
DR0代数:由De Morgan代数导出的正则剩余格 总被引:3,自引:0,他引:3
首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R0蕴涵拓广到De Morgan代数上,称为广义R0蕴涵;证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入D‰代数的概念.接着,研究了DR0代数与‰代数的关系,证明了以下结论:Boole代数是DR0代数;全序DR0代数和全序R0代数等价;DR0代数是R0代数当且仅当它满足预线性条件;无中点的DR0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的. 相似文献
4.
关于PFI-代数与剩余格 总被引:10,自引:0,他引:10
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 相似文献
5.
粗糙集代数中的剩余格结构 总被引:1,自引:0,他引:1
讨论粗糙集代数与剩余格的关系.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数. 相似文献
6.
7.
8.
9.
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。 相似文献
10.
11.
R0代数上的MP滤子格 总被引:1,自引:1,他引:0
在R0代数M的全体M P滤子集F(M)上定义格运算和伴随对,证明如此定义的M P滤子格F(M)也构成一个剩余格。在R0代数M的强素M P滤子子格F P(M)上引进一个逆序对合对应,得到了强素M P滤子子格F P(M)是一个拟布尔代数。 相似文献
12.
在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题. 相似文献
13.
R_0代数的滤子理论 总被引:1,自引:0,他引:1
在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系.得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真. 相似文献
14.
15.
R0代数的正则性及其Fuzzy拓扑表现定理 总被引:1,自引:1,他引:0
以ΩM记R0代数M到单位区间的全体赋值之集。本文先讨论R0代数的正则性问题,得到了关于R0代数正则性的一些结论。从而可通过一种自然的方法在ΩM上引入Fuzzy拓扑,建立了R0代数的Fuzzy拓扑表现定理。 相似文献
16.
17.
蕴涵代数与BCK代数 总被引:6,自引:0,他引:6
系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数 相似文献
18.
将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。 相似文献
19.
In this paper,we give a sufficient and neccesary condition under which a solvable Lie algebra is complete. 相似文献