关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

BCK-代数Fuzzy蕴涵理想(Ⅰ)

本文引入BCK-代数的Fuzzy蕴涵理想的概念,并给出Fuzzy理想成为Fuzzy蕴理想的充要条件,进一步刻划Fuzzy蕴涵理想的同态性质.     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

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

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

模糊逻辑与模糊控制中的理想蕴涵

模糊推理是模糊控制的主要理论基础,而模糊推理的重要研究方向之一是对蕴涵算子的研究,包括蕴涵算子的构造、性质分析、特征研究及其应用等。在文中通过对常用的10个蕴涵算子及16个限制性质的综合分析,提出了一类新的蕴涵算子－理想蕴涵,这类蕴涵包括了一些重要的蕴涵算子,如,Lukasiewicz蕴涵,R0蕴涵等。通过对理想蕴涵的进一步研究。给出了它们的一系列重要性质,得到了这类蕴涵的一组简洁的限制条件,讨论了这些条件的合理性,并通过几个反例证明了这些条件之间的独立性,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子。     

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

模糊逻辑与模糊控制中的理想蕴涵

模糊推理是模糊控制的主要理论基础 ,而模糊推理的重要研究方向之一是对蕴涵算子的研究 ,包括蕴涵算子的构造、性质分析、特征研究及其应用等 .在文中通过对常用的 1 0个蕴涵算子及1 6个限制性质的综合分析 ,提出了一类新的蕴涵算子——理想蕴涵 ,这类蕴涵包括了一些重要的蕴涵算子 ,如 ,Lukasiewicz蕴涵 ,R0 蕴涵等 .通过对理想蕴涵的进一步研究 ,给出了它们的一系列重要性质 ,得到了这类蕴涵的一组简洁的限制条件 ,讨论了这些条件的合理性 ,并通过几个反例证明了这些条件之间的独立性 ,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子     

模糊蕴涵算子及其构造(Ⅰ)--模糊蕴涵算子及其性质

讨论了32个模糊蕴涵算子的构造并验证了它们是否满足16条常用性质．然后考虑了它们与几个重要蕴涵，诸如正常蕴涵、异常蕴涵、强蕴涵、连续强蕴涵、正规蕴涵以及理想蕴涵之间的联系．     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

具有条件(S)的BCK-代数的分解

本文讨论了具有条件(S)的正关联BCK-代数关于。半群的分解问题,指出这种分解与一般理想分解是一致的,同时得到具有条件(S)的关联BCK-代数X的某些结构问题,如:X若有限,则|X|=2″;两个有限的具有条件(S)的关联BCK-代数同构当且仅当它们阶数相等。     

关于对合BCK-代数和可交换BCK-代数的一点注记

在本文中主要给出了对合BCK-代数的一些性质,讨论了有界可交换的BCK-代数和对合BCK-代数之间的关系,最后给出了一个对合的BCK-格就是一个可分配的BCK-格的重要结论,这将对BCK-代数的进一步研究有很大帮助。     

关于交换BCK－链

本文在ＢＣＫ－代数中引进连通覆盖的概念，证明了Ｊｏｒｄａｎ－Ｈｏｌｄｅｒ－Ｄｅｄｅｋｉｎｄ定理与维数定理，并指出：一个有界交换ＢＣＫ－代数是Ａｒｔｉｎ的当且仅当它是Ｎｏｅｔｈｅｒ的。     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

拟左交错BCI-代数

研究了拟左交错BCI-代数,它比拟交错BCK-代数更具一般性。文中证明拟左交错BCI-代数具有散子代数性质,且可分解为熟知的拟交错BCK-代数与结合BCI-代数的(LX)并代数。     

关于BCK-代数的可解性与幂零性

本文定义了可解的BCK-代数与幂零的BCK-代数,讨论了它们的一些性质。     

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．