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

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

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

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

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.

Fuzzy蕴涵代数及其理想理论

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

格蕴涵代数的超滤

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

正则Fuzzy蕴涵代数

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

模糊格蕴涵代数

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

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

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

HEYTING代数与FUZZY蕴涵代数

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

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.

格H蕴涵代数与格蕴涵代数类

本文研究了格H蕴涵代数的性质,给出了它的一些等价条件,讨论了格蕴涵代数类的真类问题和基数问题。

关于一类有限格蕴涵代数方程的解法

研究一类含有有限个未知量且含有蕴涵算子的格蕴涵代数方程,给出方程有解的充分必要条件。在方程的解集非空时,讨论解集的一些结构性质。并刻画出方程在具有某种限制条件下的整个解集。最后,相关结论被应用到一个数值例子。

格蕴涵代数与BCK代数的关系

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件。

关于Z-蕴涵代数

基于N-半单代数和格蕴涵代数、FI-代数,Wajsberg-代数、BCK-代数、BCI-代数、BCC-代数及MV-代数等的关系[9],本文中,我们引入了Z-蕴涵代数的概念,并讨论了它们的某些性质。

Lukasiewicz蕴涵代数及其性质

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

格蕴涵代数中α-化子的性质

在格蕴涵代数中研究α-化子的一些特殊性质,重点研究乘积格蕴涵代数中α-化子的性质.证明B1×B2是L1×L2的子集则(B1×B2)(α1)×B2(α2).

N元格蕴涵代数不等式的解Ⅰ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件。在b是L交既约元的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集。

乘积格蕴涵代数的理想

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

格蕴涵代数定义的简化

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数。因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义。

一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。