共查询到18条相似文献,搜索用时 46 毫秒
1.
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。 相似文献
2.
讨论粗集代数与IMTL代数的关系以及由粗集代数构造IMTL-代数的方法.借助近似代数数上的原子及同余关系,验证了在合理选择蕴涵算子→及补运算-之后,粗集代数就构成了IMTL-代数. 相似文献
3.
蕴涵格、弱Ro代数与正则剩余格 总被引:2,自引:0,他引:2
苏忍锁 《宝鸡文理学院学报(自然科学版)》2004,24(2):89-91,119
讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z). 相似文献
4.
5.
研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数. 相似文献
6.
剩余格蕴涵代数中准素理想的研究 总被引:3,自引:1,他引:3
在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系. 相似文献
7.
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。 相似文献
8.
朱华 《河南科技大学学报(自然科学版)》2006,27(3):83-85
格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。 相似文献
9.
朱怡权 《内蒙古大学学报(自然科学版)》2004,35(2):121-123
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n),≤)是一个n元链,θ,I分别为最小、最大元,则以≤为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构. 相似文献
10.
格蕴涵代数的素滤子 总被引:4,自引:0,他引:4
孟彪龙 《西北大学学报(自然科学版)》1998,28(3):189-192
格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。 相似文献
11.
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征. 相似文献
12.
Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation between lattice H implication algebra and associated implication algebra is discussed. Also, the concept of filter is proposed with some basic properties being studied. 相似文献
13.
14.
在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。 相似文献
15.
研究了近似空间(U,R)与格蕴涵代数之间的关系,在粗糙集SCR(U)上定义一个二元运算"*1",证明了(SCR(U),*1,Φ,1)是一个格蕴涵代数,并对粗格蕴涵代数几个重要性质做了初步的探讨. 相似文献
16.
17.
讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数. 相似文献
18.
粗糙分类代数--协议关系与粗糙商代数 总被引:1,自引:0,他引:1
提出了协议关系的粗糙分类代数、粗糙单代数、协议关系粗集函数等概念。刻画了粗糙分类代数的性质,构造了粗糙商代数,得到了一些基本结果。提出了回避-归并算法,并给出了一个例子。 相似文献