Lukasiewicz蕴涵代数及其性质

由一般的格蕴涵代数的定义出发 ,验证了Lukasiewicz涵代数并讨论了Lukasiewicz蕴涵代数的单性和周期性 .

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n), )是一个n元链,θ,I分别为最小、最大元,则以 为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构.

格蕴涵代数的区间值犹豫模糊子代数

把区间值犹豫模糊集和格蕴涵代数相结合,给出格蕴涵代数的区间值犹豫模糊子代数的概念,讨论了区间值犹豫模糊子代数与其犹豫模糊子代数的关系。证明了2个区间值犹豫模糊子代数的交是区间值犹豫模糊子代数,并结合具体例子,说明2个区间值犹豫模糊子代数并不满足类似结论。

Fuzzy蕴涵代数及其理想理论

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

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.

正则Fuzzy蕴涵代数

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

格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。

模糊格蕴涵代数

本文将模糊集合论应用于格蕴涵代数，给出了模糊格蕴涵代数的概念，并讨论了它们的一些基本性质。

区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。

Fuzzy蕴涵代数与MV代数

＊本文讨论Ｆｕｚｚｙ蕴涵代数与ＭＶ代数之间的关系，并证明了在一定的条件下Ｆｕｚｚｙ蕴涵代数是剩余格。

格蕴涵代数中的格蕴涵代数方程

根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.

HEYTING代数与FUZZY蕴涵代数

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

Fuzzy蕴涵代数的MP滤子

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

赋范格H蕴涵代数和模糊格H蕴涵代数

在范数的条件下扩充了格H蕴涵代数的概念,即赋范格H蕴涵代数,并讨论一些性质。然后将模糊集合论运用于赋范格H蕴涵代数,给出了模糊赋范格H蕴涵代数的定义,得到了一些基本性质。通过使用两个赋范格H蕴涵代数之间的映射定义了赋范格H蕴涵代数同态,且得到了一些性质。最后得到了在赋范格H蕴涵代数中的数列对于蕴涵距离是有界的结论。

粗糙集代数与格蕴涵代数

讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为格蕴涵代数.

BL-代数的n-重模糊蕴涵滤子

引入BL-代数的n-重模糊蕴涵滤子概念,讨论了n-重模糊蕴涵滤子的性质,给出若干等价刻画,给出了验证n-重模糊蕴涵滤子的一个简单条件。用n-重模糊蕴涵滤子对n-重蕴涵BL-代数进行了刻画,证明了一个模糊滤子是一个n-重模糊蕴涵滤子当且仅当对应的商代数是一个n-重蕴涵BL-代数。

赋范Fuzzy蕴涵代数

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

剩余格蕴涵代数中准素理想的研究

在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系.

基于Lukasiewicz蕴涵算子的反向三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三I推理及反向α-三I推理,借助该蕴涵算子的性质,给出相应的推理算法。

格蕴涵代数中的零化子

在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系.