由格蕴涵代数诱导的伴随半群

给出由格蕴涵代数诱导出的伴随半群及有关概念 ,详细讨论伴随半群中的元素即格蕴涵代数的左映射的性质 ,得到它们的几个等价条件。最后讨论由格蕴涵代数诱导的两个双格半群与伴随半群之间的关系 ,并证明这些半群是幂等的当且仅当它们是由格 H蕴涵代数所诱导     

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

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系。     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

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

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系     

关于BCI—代数伴随半群中的可逆元

给出了ＢＣＩ－代数的伴随半群中可逆元的刻划，说明ＢＣＩ－代数的ｐ－半单闭理想与其伴随半群的子群之间有一一对应关系，并证明最大的ｐ－半单闭理想是根理想。     

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

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

关于Z-蕴涵代数

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

有限关联BCK—代数

本文主要讨论有限关联BCK-代数的存在性结构和个数问题。命题1 设N’是全体正无平方因子数的集合。若在N’上定义二元运算     

The Semigroup Characterizations of Positive Implicative BCK—algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ，，０）ｏｆｔｙｐｅ（２，０）ｗｉｔｈｔｈｅｆｏｌｌｏｗｉｎｇｃｏｎｄｉ－ｔｉｏｎｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｉｍｐｌｉｅｓｘ＝ｙ．ＩｆａＢＣＩ－ａｌｇｅｂｒａ（Ｘ，，０）ｓａｔｉｓｆｉｅｓ（５）０ｘ＝０．ｔｈｅｎｉｔｉｓｃａｌｌｅｄａＢＣＫ－ａｌｇｅｂｒａ．ＩｎａＢＣＩ－ａｌｇｅｂｒａ，ｔｈｅｆ…     

关于格蕴涵代数与BCK-代数

证明了格蕴涵代数与有界可换 Ｂ Ｃ Ｋ代数是两类相互等价的代数系统,借此得到了一类 Ｂ Ｃ Ｋ代数的结构定理     

On the Adjoint Monoids of Implicative BCK-algebras

We give some semigroup characterizations for implicative BCK-algebras, and prove that the adjoint semigroups of implicative BCK-algebras are residualed semigroups.AMS Subject Classification (2000): 03G25, 06F35     

格蕴涵代数的关联理想与模糊关联理想(英文)

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系     

赋范BCK-代数与模糊BCK-代数

在BCK－代数中引入范数的概念,给出赋范BCK－代数中的一些基本结果,讨论了有界赋范BCK－代数与模糊BCK－代数的一些联系。     

超BCK-代数的模糊超子代数

模糊超子代数的概念被引入并且一些相关性质被研究,模糊超BCK理想和模糊超子代数的关系被介绍,模糊超子代数的特征被陈述。     

On the Characteristic of Proper Lattice Implication Algebras

ＯｎｔｈｅＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＰｒｏｐｅｒＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓ￥ＸｕＹａｎｇ；ＱｉｎＫｅｙｕｎ（ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）（ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔ...     

关于正关联BCK代数的一种扩张

在本文中，证明了每一个正关联ＢＣＫ－代数Ｘ均可嵌入于具有条件（Ｓ）的正关联ＢＣＫ－代数Ｘ^*，且Ｘ是Ｘ^*的一个子代数．特别地，当Ｘ是关联时，那么Ｘ^*也是关联的     

Implicative Ideals and Fuzzy Implicative Ideals of a Distributive Implication Groupoid

We introduce the notions of implicative ideals and fuzzy implicative ideals of a distributive implication groupoid. Some properties of these ideals will be investigated. In particular, the necessary and sufficient conditions for an ideal (fuzzy ideal) to be an implicative ideal (fuzzy implicative ideal) is given. By using the concept of level sets, we will characterize the fuzzy implicative ideals of a distributive implication groupoid. Finally, an extension property for fuzzy implicative ideals is given.