It is known that commutative BCK-algebras form a variety, but BCK-algebras do not [4]. Therefore H. Yutani introduced the notion of quasicommutative BCK-algebras. In this article we first present the notion and general theory of quasi-commutative BCI-algebras. Then we discuss the reduction of the type of quasi-commutative BCK-algebras and some special classes of quasicommutative BCI-algebras.

In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...

Creatine kinases (CK) play crucial roles in intracellular energy transfer. We have isolated a cDNA from zebrafish embryos, which encodes a CK highly related to the mammalian brain subtype creatine kinase (BCK). The bck mRNA is expressed maternally in the zebrafish embryo and transcripts are distributed uniformly in blastula and gastrula stages. Expression becomes restricted to the prechordal pl...

In the present paper for a large family of topological semigroups, namely foundation semigroups, for which topological groups and discrete semigroups are elementary examples, it is shown that ?(S) is the dual of a function algebra.

In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...

‎generalizing the notion of character amenability for banach‎ ‎algebras‎, ‎we study the concept of $varphi$-connes amenability of‎ ‎a dual banach algebra $mathcal{a}$ with predual $mathcal{a}_*$‎, ‎where $varphi$ is a homomorphism from $mathcal{a}$ onto $bbb c$‎ ‎that lies in $mathcal{a}_*$‎. ‎several characterizations of‎ ‎$varphi$-connes amenability are given‎. ‎we also prove that the‎ ‎follo...

let φ be a w  -continuous homomorphism from a dual banach algebra to c. the notion of φ-connes amenability is studied and some characterizations is given. a type of diagonal for dual banach algebras is dened. it is proved that the existence of such a diagonal is equivalent to φ-connes amenability. it is also shown that φ-connes amenability is equivalent to so-called φ-splitting of a certain s...

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook’s function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It ...