BCK-modules were introduced as an action of a BCK-algebra over Abelian group. Homomorphisms form exact sequence which is called BCK-sequence. In this paper, we study homomorphisms BCK-modules. We show that have module structure. Moreover, sequences Hom functors are BCK-sequences.

The notion of BCI-algebras was introduced by Iséki [3] which is a generalization of BCKalgebras [2]. This notion is originated from two different ways: one of the motivations is based on set theory, another motivation is from classical and nonclassical propositional calculi. Zadeh [8] introduced the notion of fuzzy sets. Many researchers have applied this concept to mathematical branches, such ...

Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or λ-calculus with logical constants for and, or, all, and exists, but with none for either implication or negation. The proof is strictly finitary, showing that this system i...

Abstract An E -fuzzy group is a lattice-valued algebraic structure, defined on a crisp algebra which is not necessarily a group. The crisp equality is replaced by a particular fuzzy one denoted by E . Classical group-like properties are formulated as appropriate fuzzy identities special lattice theoretic formulas. We prove basic features of E -fuzzy groups: properties of the unit and inverses, ...

In this paper, first we introduce the notions of k-nilpotent (solvable) ideals and BCK-algebras. Specially, show that every commutative ideal is 1-nilpotent (solvable). Second, state an equivalent condition to k-nilpotency (solvablity) BCK-algebra. Finally, study n-fold 2-nilpotent BCK-algebras as a generalization BCK-algebras, relation between these two concepts. Basically, compare solvable (B...

in this paper we define the notions of ultra and involution ideals in bck-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative bck-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower bck-semilattice, the notions of...

In this paper, we introduce the notion of anti fuzzy PS – Subalgebra along with PS-ideal in homomorphism and Cartesian product and discussed some of their properties.

In this paper, the idea of ∈ , ∨ q ˘ -bipolar fuzzy id="M4"> b -ideals and an id="M5"> ideals id="M6"> BCK / BCI -algebras is delivered, their related p...