正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。

正则Fuzzy蕴涵代数的理想格

引入正则Fuzzy蕴涵代数的理想概念,并给出它的若干等价刻画;获得了由非空子集生成的理想的表示定理;证明了一个正则Fuzzy蕴涵代数上全体理想之集在集合包含序下构成一个分配连续格,从而构成一个Frame.

Fuzzy蕴涵代数的正则滤子

在Fuzzy蕴涵代数中引入正则滤子的概念并讨论其性质。获得了正则滤子的若干等价刻画。深入考察了正则滤子与其他类型的滤子之间的关系,证明了一个非空集合是正关联滤子当且仅当它既是关联滤子又是正则滤子的结论。

Fuzzy蕴涵代数及其理想理论

模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后,讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征,证明了该集合关于集合包含序构成分配的连续(代数)格,特别地构成完备Heyting代数,进而构成Frame的重要结论。

格蕴涵代数与正则Fuzzy蕴涵代数

讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.

HEYTING代数与FUZZY蕴涵代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理;探讨了FI代数的MP滤子与偏序滤子之间的关系;证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame。

赋范Fuzzy蕴涵代数

运用泛函分析的方法和技巧考虑非经典数理逻辑问题,首先引入赋范Fuzzy蕴涵代数及蕴涵距离的概念,并给出它们的若干性质;其次对赋范Fuzzy蕴涵代数中的序列和蕴涵开(闭)球进行研究.证明了:①每一半径不小于球心范数的蕴涵开(闭)球都是MP滤子;②每个收敛序列都有唯一的极限;③每个收敛序列都是Cauchy列;④如果一个Cauchy列{xn}的某个子列收敛于点x,则该Cauchy列本身也收敛于点x.

Fuzzy蕴涵代数与有界BCK代数的关系

本文讨论Fuzzy蕴涵代数与有界BCK代数互为对偶的关系。

WBR_0-代数的Fuzzy蕴涵理想

通过在WBR0-代数上引入Fuzzy蕴涵理想的概念,讨论Fuzzy蕴涵理想的基本性质,得到了Fuzzy蕴涵理想的几种等价刻画.通过定义Fuzzy同余关系,建立Fuzzy蕴涵理想和Fuzzy同余之间的关系,并利用Fuzzy蕴涵理想诱导了商代数,得到了WBR0-代数的同态基本定理.

关于Fuzzy蕴涵代数的模糊MP滤子

运用模糊集理论的思想和运算方法对Fuzzy蕴涵代数(FI代数)的模糊MP滤子概念作进一步研究,给出了(正则)FI代数的模糊MP滤子的若干等价刻画.在FI代数上基于一个给定的模糊MP滤子定义了一个同余关系,证明了由该同余关系诱导的商代数仍为FI代数的结论.该研究工作不但有助于进一步促进模糊集概念与逻辑代数结构的相互融合,而且有助于丰富和完善FI代数滤子理论的内容.

蕴涵格、弱R_o代数与正则剩余格

讨论了蕴涵格、弱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)。

R_0代数的正则性及其Fuzzy拓扑表现定理

以ΩM记R0代数M到单位区间的全体赋值之集。本文先讨论R0代数的正则性问题,得到了关于R0代数正则性的一些结论。从而可通过一种自然的方法在ΩM上引入Fuzzy拓扑,建立了R0代数的Fuzzy拓扑表现定理。

弱Fuzzy蕴涵代数的几个结果

文章引人弱 Fuzzy蕴涵代数的概念 ,研究了它的一些性质 。

Fuzzy蕴涵代数上的一致结构及诱导拓扑

为了探寻Fuzzy蕴涵代数的拓扑特征和揭示逻辑代数与拓扑学之间的内在联系,利用Fuzzy蕴涵代数上的同余关系概念和对有限交关闭的MP滤子族构造了一个一致结构,从而诱导出一个拓扑.讨论了该一致结构和相应诱导拓扑的性质.

BCI-代数的广义强蕴涵a-理想与广义Fuzzy强蕴涵a-理想

引入了BCI-代数X的广义强蕴涵a-理想和广义模糊强蕴涵a-理想的概念，讨论了它们的关系和一些性质．

模糊广义正则蕴涵代数

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

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系,证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想。

BCK代数中Fuzzy蕴涵理想的Cartesian积

讨论BCK -代数中fuzzy理想的Cartesian积及最强fuzzy关系的问题.证明了:若μ和ν是BCK -代数X上的fuzzy蕴涵理想,则μ×ν是X×X上的fuzzy蕴涵理想;反之,若μ×ν是X×X上的fuzzy蕴涵理想,则μ或ν是X上的fuzzy蕴涵理想;最后给出了μ上最强fuzzy关系成为fuzzy蕴涵理想的条件.

正则HFI代数与格H蕴涵代数的关系

证明了正则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的．