Some Properties of a Class Self—homomorphism of BCI—algebras

ＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ；，０）ｏｆｔｙｐｅ（２，０）ｓａｔｉｓｆｙｉｎｇｔｈｅａｘｉｏｍｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｘ＝ｙｆｏｒａｎｙｘ，ｙａｎｄｚｉｎＸ．ＦｏｒａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，ｔｈｅｒｅｌａｔｉｏｎ≤ｄｅｆｉｎｅｄｂｙｘ≤ｙｉｆａｎｄｏｎｌｙｉｆｘｙ＝０ｉｓａｐａｒｔｉａｌｏｒｄｅｒｏｎＸ［１］．ＩｎａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，…     

THE GENERALIZED AIRY FUNCTIONS

１ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｓｉｄｅｒｔｈｅｆｏｌｏｗｎｇｓｅｃｏｎｄｏｒｄｅｒｌｉｎｅａｒｄｉｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎｄ２ｙｄｘ２－ｘλｙ＝０，（１．１）ｗｈｅｒｅｔｈｅｃｏｎｓｔａｎｔλ≥０ｓａｔｉｓｆｉｅｓ（－１）λ＝±１．Ｗｈｅ...     

THE VARIATION OF INVARIANT LINES AND LIMIT CYCLES FOR A QUADRATIC DIFFERENTIAL SYSTEM

１ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｓｉｄｅｒｔｈｅｒｅａｌｑｕａｄｒａｔｉｃｄｉｆｅｒｅｎｔｉａｌｓｙｓｔｅｍｘ＝－ｙ＋δｘ－４ｘ２＋３ｘｙ＋１３ｙ２ｙ＝ｘ（１－１３ｘ－ｙ）．（１）Ｆｉｒｓｔ，ｆｏｒｃｏｎｖｅｎｉｅｎｃｅ，ｗｅｄｅｎｏｔｅｔｈｅｔｗｏ...     

On the Cluster Set C [S_n/(2nφ(n))~(1/2)] in 2-type Banach Space

Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｈａｖｅｏｂｔａｉｎｅｄｔｈｅｆｏｌｌｏｗｉｎｇｔｈｅｏｒｅｍｓ．Ｔｈｅｏｒｅｍ１　Ｌｅｔφ（ｘ）ｂｅａｉｎｃｒｅａｓｉｎｇｆｕｎｃｔｉｏｎｏｎ［０，＋∞），φ（ｘ）→＋∞ａｎｄφ（ｘ）ｘｂｅｎｏ－ｉｎｃｒｅａｓｉｎｇ（Ｗｈｅｎｘｉｓｌａｒｇｅｅｎｏｕｇｈ），ａｎｄｌｅｔＢｂｅａｓｅｐａｒａｂｌｅＢａｎａｃｈｓｐａｃｅ，ＸｂｅａＢ－ｖａｌｕｅｄｒａｎｄｏｍｖａｒｉａｂｌｅ，ｉｆｉ）Ｘ∈ＷＭ２０ｉｉ）Ｘτ－ＥＸτ∈ＣＬＴ，τ＞０，ｗｈｅｒｅＸτ＝ＸＩ｛ｙＸｙ≤τ｝ｉｉ…     

ON THE EXISTENCE OF ALMOST GLOBAL WEAK SOLUTION TO MULTIDIMENSIONAL VLASOV-POISSON EQUATION

§１．ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｓｉｄｅｒｔｈｅｆｏｌｏｗｉｎｇｄｄｉｍｅｎｓｉｏｎａｌＶｌａｓｏｖＰｏｉｓｏｎｓｙｓｔｅｍ，ｄ＝２，３，ｔｆ＋ｖ·ｘｆ－Ｅ·ｖｆ＝０，ｆ（０，ｘ，ｖ）＝ｆ０（ｘ，ｖ），Ｅ（ｔ，ｘ）＝ｃ（ｄ）∫ｘ－ｙ｜ｘ...     

ON THE COEFFICIENTS APPEARING IN THE EXPANSION OF MELNIKOV FUNCTIONS IN HOMOCLINIC BIFURCATIONS

Ｃｏｎｓｉｄｅｒａｐｌａｎａｒｐｅｒｔｕｒｂｅｄｓｙｓｔｅｍｏｆｔｈｅｆｏｒｍｘ＝Ｈｙ＋εｆ（ｘ，ｙ），ｙ＝－Ｈｘ＋εｇ（ｘ，ｙ）（１）ｗｈｅｒｅＨ，ｆ，ｇａｒｅｆｕｎｃｔｉｏｎｓｏｆｃｌａｓＣ∞．Ａｓｕｍｅｆｏｒε＝０（１）ｔｏｈａｖｅａｈｏｍｏｃ...     

The Coset Group and Com ove Group

§１．　ＢａｓｉｃＤｅｆｉｎｉｔｉｏｎｓＬｅｔＸａｎｄＹｂｅｓｅｔｓ，ｆｏｒａｇｉｖｉｎｇｍａｐｐｉｎｇｆ：Ｘ→Ｙ，ｘ｜→ｙ＝ｆ（ｘ），ａｍａｐｐｉｎｇｆｏｎｐｏｗｅｒｓｅｔｃａｎｂｅｃｏｎｄｕｃｔｅｄｂｙｆ：ｆ：Ｐ（Ｘ）→Ｐ（Ｙ），Ａ｜→Ｂ＝ｆ（Ａ）＝｛ｙ｜ｘ∈Ａ，ｙ＝ｆ（ｘ）｝．　　Ｎｏｔｅｔｈａｔａｂｉｎａｒｙｏｐｅｒａｔｉｏｎｉｓａｓｐｅｃｉａｌｍａｐｐｉｎｇｏｎｓｅｔｓ．ＧｉｖｅｎａｂｉｎａｒｙｏｐｅｒａｔｉｏｎｏｎｓｅｔＸｓｕｃｈｔｈａｔ：：Ｘ×Ｘ→Ｘ，　（ｘ，ｙ）｜→ｘ…     

ON THE NON-EXISTENCE OF LIMIT CYCLES OF CERTAIN QUADRATIC SYSTEMS

§１．Ｆｏｒｔｈｅｓｙｓｔｅｍｘ＝－ｙ＋δｘ＋ｌｘ２＋ｎｙ２＝Ｐ（ｘ，ｙ），ｙ＝ｘ（１＋ａｘ－ｙ）＝Ｑ（ｘ，ｙ），｛（１．１）ｗｅｃａｎｆｉｎｄｉｎ［１］ｔｈｅｆｏｌｏｗｉｎｇ：ＣｏｎｊｅｃｔｕｒｅＩ．Ａｓｓｕｍｅ１ａ＜０，ｎ＞１，ｎ＋ｌ＞０，ｎａ２...     

SOME PROPERTIES OF CUBIC LIENARD SYSTEMS

Ｂｙｔｒａｎｓｌａｔｉｎｇａｎｄｓｃａｌｉｎｇ，ａｎｙｇｅｎｅｒａｌｒｅａｌｃｕｂｉｃＬｉｅｎａｒｄｓｙｓｔｅｍｓｘ＝ｙ－（α０＋α１ｘ＋α２ｘ２＋α３ｘ３），ｙ＝－（β０＋β１ｘ＋β２ｘ２＋β３ｘ３），ｃａｎｂｅｃｈａｎｇｅｄｉｎｔｏｘ＝ｙ－（δｘ...     

Boundedness of the Maximal Operator on Lipα（R^n）（0〈α〈1）

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＡｌｏｃａｌｌｙｉｎｔｅｇｒａｂｌｅｆｕｎｃｔｉｏｎｆ（ｘ）ｂｅｌｏｎｇｓｔｏＬｉｐα（Ｒｎ）,ｉｆｔｈｅｒｅｉｓａｃｏｎｓｔａｎｔＣ,ｓｕｃｈｔｈａｔｆｏｒｅｖｅｒｙｘ,ｙ∈Ｒｎ｜ｆ（ｘ）－ｆ（ｙ）｜≤Ｃ｜ｘ－ｙ｜α　　ＴｈｅｓｍａｌｌｅｓｔｃｏｎｓｔａｎｔＣｓａｔｉｓｆｉｅｓａｂｏｖｅｉｓｃａｌｌｅｄＬｉｐｓｃｈｉｔｚｎｏｒｍｏｆｆａｎｄｉｓｄｅｎｏｔｅｄｂｙｙｆｙ∧α．Ｂｙ［１］,ｆ∈Ｌｉｐα（Ｒｎ）ｅｑｕｉｖａｌｅｎｔｔｏｆ∈εα,２,ｗｈｅｒｅεα,２＝…     

关于蕴涵BCK—代数的伴随半群

我们证明了蕴涵BCK-代数的伴随半群是一个上半格;具有条件（s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。     

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

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

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

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

单的非负有序关联半群

一个负有序关联半群(S,≤,.,*)称为单的关联半群,如果S的所有滤子是{1}和S本身.对负有序关联半群是单的关联半群进行了刻画,给出了一个负的关联半群是单的关联半群的等价条件.     

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

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

Negation and BCK‐algebras

In this paper we consider twelve classical laws of negation and study their relations in the context of BCK‐algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK‐algebras with minimum. As a consequence we obtain a theorem relating those algebras to Boolean algebras.     

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

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了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     

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.     

Implicative commutative semigroups are equivalent to a class of BCK algebras

Chan and Shum [2] introduced the notion of implicative semigroups and obtained some of its important properties. BCK algebras with condition (S) were introduced by Iséki [4] and extensively investigated by several authors. In this note, we prove that implicative commutative semigroups are equivalent to BCK algebras with condition (S), that is, given an algebra <S;≤,·,*,1> of type (2,2,0), define ⊗ by stipulatingx⊗y=y*x and ≺ by puttingx≺y if and only ify≤x, then <S≤,·,*,1> is an implicative commutative semigroup if and only if <S;≺,·,⊗, 1> is a BCK algebra with condition (S); a nonempty subsetF ofS is an ordered filter of <S;≤,·,*, 1> if and only ifF is an ideal of <S;≺,·, ⊗, 1>. The author would like to thank the referee for his valuable comments which helped in the modification of this paper.