首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 156 毫秒
1.
给出了格蕴涵代数的模糊同余关系的定义并研究了其性质,得到了所有模糊滤子集合FF(L)同构于模糊同余关系集合FC(L).  相似文献   

2.
在BCH-代数中引入了T-模糊理想、T-模糊H-理想及T-模糊子代数的概念,给出了关于BCH-代数的T-模糊理想及T-模糊H-理想的几个重要结论;又在BCH-代数中引进了T-积得到了一些结果,从而将BCI-代数中的相关结果推广到BCH-代数。  相似文献   

3.
模糊蕴涵代数是取值于[0,1]区间上的模糊逻辑系统的一种代数抽象。通过引入模糊广义正则蕴涵代数的概念,对其性质进行了讨论,并给出了广义正则模糊蕴涵代数的一些等价刻画。  相似文献   

4.
模糊零化子     
在格蕴涵代数中提出了模糊零化子的概念,讨论了模糊零化子的一些特殊性质,证明了格H蕴涵代数的模糊零化子是格H蕴涵代数的模糊理想。  相似文献   

5.
在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa|a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。  相似文献   

6.
引入了Q-代数中具有界限的模糊子代数的概念,获得了它的一些相关性质,给出了具有界限的模糊子代数与(∈,∈Vq)-模糊子代数的关系.在Q-代数中,引入了t一蕴含的模糊子代数的概念,讨论了具有界限的模糊子代数与分别基于Gaines—Rescher蕴涵算子、Godel蕴涵算子和Godel蕴涵算子的换质算子的0.5-蕴含的模糊子代数之关系.  相似文献   

7.
利用模糊点与模糊集之重于关系,在BL-代数中引入了(∈,∈∨q)-模糊n-重蕴涵滤子的概念,推广了经典的模糊n-重蕴涵滤子,给出了(∈,∈∨q)-模糊n-重蕴涵滤子的一些刻画.研究了(∈,∈∨q)-模糊蕴涵滤子与(∈,∈∨q)-模糊n-重蕴涵滤子的关系、(∈,∈∨q)-模糊n-重蕴涵滤子与(∈,∈∨q)-模糊(n+1)-重蕴涵滤子的关系.提出门限模糊n-重蕴涵滤子的概念,以此获得了非平凡的经典模糊n-重蕴涵滤子、非平凡的(∈,∈∨q)-模糊n-重蕴涵滤子,研究了门限模糊n-重蕴涵滤子和(∈,∈∨q)-模糊n-重蕴涵滤子的性质.  相似文献   

8.
引入BCC-代数的一种新的模糊理想,并研究了它的性质,讨论了BCC-代数中模糊BCC-子代数、模糊BCK-子代数、模糊BCC-理想、模糊BCK-理想四者间的关系,给出了BCC-代数的模糊BCC-理想与BCC-代数的积代数的模糊BCC-理想二者间的关系,揭示了BCC-代数的模糊BCC-理想与同余之间的联系,讨论了由模糊BBC-理想诱导的商BCC-代数.最后,研究了模糊BCC-理想与模糊BCK-子代数的同态象和同态逆象,建立了模糊同态基本定理.  相似文献   

9.
给定一个集合Ω,引入了有界可交换的BCK-代数的Ω-模糊代数理想之概念,研究了它的一些相关性质,并给出了它几个特征,讨论了有界可交换的BCK-代数的Ω-模糊理想与Ω-模糊代数理想的关系.讨论了有界可交换的BCK-代数的模糊代数理想与Ω-模糊代数理想的相互构造.  相似文献   

10.
本文主要证明了完全分配交换空间格代数到其弱闭子代数上的范数连续的T-局部导子是T-导子.  相似文献   

11.
本引入了生成T-模糊线性空间的概念,给出了生成T-模糊线性空间的结构公式,并讨论了生成T-模糊线性空间的性质,将Yu中的有限生成T-模糊线性空间作为本的特例。还用范畴语言讨论了生成T-模糊线性空间的泛性质以及相应的唯一性定理。  相似文献   

12.
对于任意集合X,我们证明了,在IFWCL(X)(X上的直觉模糊弱闭包算子的全体),IFWIN(X)(X上的直觉模糊弱内部算子的全体)和IFWOU(X)(X上的直觉模糊弱外部算子的全体)上分别定义适当的序关系,可以使IFWCL(X),IFWIN(X)以及IFWOU(X)成为和(IFT(X), )同构的完备格,其中IFT(X)是X上的直觉模糊拓扑的全体.  相似文献   

13.
定义了拟阵的导算子、内部算子,证明了对每个给定的有限集X,可以给D(X)(即X上拟阵导算子的全体),I(X)(即X上拟阵内部算子的全体)上赋予适当的序≤使得(D(X),≤)与(I(X),≤)(即X上拟阵导算子的全体)之间是完备格同构的。  相似文献   

14.
Quantic格同余     
给出了Quantic格同余的定义,研究了Quantic格同余、核映射以及商对象之间的关系,证明了Quantic格的又一同态定理.  相似文献   

15.
设F(n)q为Fq上的n维向量空间,设P是由F(n)q上的所有m-部分双线性函数(V,f)和1构成的集合.在P上按照包含(或反包含)关系规定偏序,得到两类偏序,证明了这两类偏序集是有限格并计算了它们的M(o)bius函数和秩生成函数.  相似文献   

16.
在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想.  相似文献   

17.
设X是集合,L是Hutton代数,FW(X,L)是X上的L-fuzzy的权的全体,FN(X,L)是X上的L-fuzzy领域算子的全体,文中给出了从FW(X,L)到FN(X,L)的一一对应12.  相似文献   

18.
在有逆序对合对应“'”的完备格(或称为DeMorgan代数)L上定义了开预拓扑、边界、伪内部算子和伪边界算子,并证明了L上的所有开预拓扑,所有伪内部算子和所有伪闭包算子构成了彼此同构的完备格.L上的所有伪边界算子和所有闭预拓扑是完全备格同构.  相似文献   

19.
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n〉3),首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式(tautology)与IPC(inmitionistic propositional calculus)公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号