BCK和BCI—代数的映射

在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是一个正定关联ＢＣＫ－代数，则所有Ｘ到Ｙ的左映射的集合也构成一个正定关联ＢＣＫ－代数。     

BCI—代数和弱半联理想

引进ＢＣＩ－代数的弱关联理想的概念，并用以刻划弱关联ＢＣＩ－代数，从而推广了文［３］中的的一上结结论。     

广义α—结合BCI—代数

引入了广义α－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义α－结合部分的关系。并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义α－结合ＢＣＩ－代数上。最后我们证明了每个广义α－结合ＢＣＩ－代数可确定一个交换偏序幺半群。本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的。     

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．     

半单优BCI－代数的长度定理

继续对［１］的研究，得到了半单优ＢＣＩ－代数的替换定理和长度定理．     

FI代数,BCK代数与关联半群

文献［１］讨论了Ｆｕｚｚｙ蕴涵代数（简称为ＦＩ代数）与ＭＶ代数、格蕴涵代数之间的关系,本文进一步讨论了ＦＩ代数与有界关联ＢＣＫ代数、关联半群的联系,并应用ＦＩ代数方法简化了ＢＣＫ代数中某些定理的证明。     

Lyapunov不等式的最佳解与一般线性方法的可行性

１引言在刚性常微分方程初值问题数值解法理论中,常要求数值方法中的某个系数矩阵Ｂ具有性质：使Ｌｙａｐｕｎｏｖ不等式有对角正定解Ｄ存在,即存在对角正定矩阵Ｄ,使ＤＢ＋ＢＴＤ为正定矩阵·在许多情形,这种解Ｄ是存在的,例如Ｇ－Ｌ-、ＩＡ-和ⅡＡ－ＲＫ方法［３］．然而也存在一些方法,它是Ａ－稳定、Ｌ－稳定,甚至是代数稳定的,但这种Ｄ却不存在．例如ⅢＣ（ｓ≥３）ＲＫ方法［３］和当θ＝１时的块θ－方法［５］（至少对ｒ＝２,３,４是如此）．前者是Ｌ－稳定的,也是代数稳定的,后者也是Ｌ－稳定的．这意味着,可能有不少…     

BCI—代数的KI并代数

本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广。     

BCK—代数理想（Ⅳ）

本文是作者［１］－［６］的继续，我们得到下述结果：定理４．设Ｉ是ＢＣＫ－代数Ｘ的一个理想，ａ是Ｘ的一个元素，则包含Ｉ和ａ的最小理想是对某个非负整数｝．定理１４．设Ｘ是一个Ｌｕｋａｓｉｅｗｉｃｚ代数，Ｉ是Ｘ的一个质理想．如果Ａ是Ｘ的一个真理想且，则Ａ也是质的．定理１５．Ｌｕｋａｓｉｅｗｉｃｚ代数Ｘ的零理想｛０｝是质的当且仅当＜Ｘ；≤＞是一个全序集．     

关于单BCI－代数的一些结果

本文讨论了单ＢＣＩ－代数．证明了一个ＢＣＩ－代数是单的当且仅当它的子代数都是单的；给出了单ｐ－半单ＢＣＩ－代数的一种表示式；证明了一个ｐ－半单ＢＣＩ－代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单ＢＣＩ－代数；证明了商ＢＣＫ－代数Ｘ／Ａ是单的当且仅当Ａ是Ｘ的极大理想．     

A Problem on the Variety of BCK-algebras

The purpose of this note is to solve the following problem proposed by W.H.Cornish[2] in 1982:Whether the variety of implicative BCK-algebras is 2-based.Our answer is affirmative.This va-riety is 2-based and an equational base containing only three vaviables is given by(1) x*(0*y)=x;(2)(x*z)*(x*y)=(y*z)*(y*x))*(x*y).     

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

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

Verallgemeinerungen eines Satzes von H. Steinhaus

The following result is due to H. Steinhaus [20]: “If A,B?R are sets of positive inner Lebesgue measure and if the function f: R x R→R is defined by f(x,y):=x+y (x,y?R), then the interior of f(A x B) is non void”. In this note there is proved, that the theorem of H. Steinhaus remains valid, if

1. R is replaced by certain topological measure spaces X, Y and a Hausdorff space Z,
2. f is a continuous function from an open set T?X x Y into Z and satisfies a special local (respectively global) solvability condition in T,
3. A?X is a set of positive outer measure, B?Y contains a set of positive measure and A x B?T.

     

The Semigroup Characterizations of Positive Implicative BCK—algebras

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

BCK-代数的Ω-模糊正定关联理想

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了BCK-代数的Ω-模糊理想与Ω-模糊正定关联理想的关系.利用模糊正定关联理想,刻画了Ω-模糊正定关联理想.反之,模糊正定关联理想通过Ω-模糊正定关联理想来构造.证明了Ω-模糊正定关联理想(Ω-模糊理想)的同态原象仍是Ω-模糊理想(Ω-模糊理想).     

基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.     

The Semigroup Characterizations of Nil BCI-Algebras

In this paper, some characterizations of nil BCI-algebras X are given by disscusing the adjoint semigroup of X. Moreover, the definition of generalized positive implicative BCI-algebras is introduced and some properties are obtained.AMS Subject Classification (1991): 03G25, 06F35.The subject supported by the Educational Committee of Hebei.     

Shrinkability of Minimal Elements in Sphere Representations of Posets

Let k be a positive integer and let P = (X,≤) be a poset. We call P a k-sphere order provided there is a mapping f which assigns to each element x $ \in$ X a ball f(x) in Rk so that x ≤ y in P if and only if f(x) $ \subseteq$ f(y). We ask: Given that P is a k-sphere order, does there necessarily exist a representation f with the property that every minimal element of P is assigned a ball of radius zero? The answer is “yes” for k = 1, but “no” for all k ≥ 2.     

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)-algebraX/μ by a fuzzy ideal μ inX and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if μ is a fuzzy ideal (closed fuzzy ideal) ofX, thenX/μ is a commutative (resp. positive implicative, implicative) BCK (BCI)-algebra if and only if μ is a fuzzy commutative (resp positive implicative, implicative) ideal ofX. Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra ofX. We show that if the period of every element in a BCI-algebraX is finite, then any fuzzy ideal ofX is closed. Especially, in a well (resp, finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.     

有条件(DS)的BCK-代数

在本文引入有条件（DS）,从而证明了有界关联DCK－代数与合正关联BCK－代数是一致的。