Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras corresponde to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper i...

A normal pseudo-BCK-algebra X is an algebra in which every subalgebra of X is an ideal of X . Characterizations of normal pseudo-BCK-algebras are given. 2010 Mathematics Subject Classification: 03G25, 06F35.

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, a new notion, called TM-algebra, which is a generalization of the idea of Q/BCH/BCI/BCK/BCC-algebra, is introduced. Some theorems discussed in Q-and BCK algebras are generalized. Definition of TM-algebra along with various propositions are stipulated and presented with their respective proofs. The relation between TM-algebra and other algebra has been investigated and detailed in...

Using the notion of bipolar-valued fuzzy sets, the concepts of bipolar fuzzy (weak, s-weak, strong) hyper BCK-ideals are introduced, and their relations are discussed in [3]. Further properties are investigated in this article. We show that if Φ = (H ;μΦ , μ N Φ ) is a bipolar fuzzy (weak, strong) hyper BCK-ideal of a hyper BCK-algebra H, then the set I := {x ∈ H | μΦ(x) = μΦ(0), μΦ (x) = μΦ (0...

Characterizations of fuzzy ideals of a pseudo-BCK algebra are established. Conditions for a fuzzy set to be a fuzzy ideal are given. Given a fuzzy set μ, the least fuzzy ideal containing μ is constructed. The homomorphic properties of fuzzy ideals of a pseudoBCK algebra are provided. Finally, characterizations of Noetherian pseudo-BCK algebras and Artinian pseudo-BCK algebras via fuzzy ideals a...

In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...

The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...

The study of BCK-algebras was initiated by Iséki [7] as a generalization of the concept of set-theoretic difference and propositional calculus. Iséki posed an interesting problem; whether the class of BCK-algebras is a variety. In connection with this problem Komori introduced in [9] a notion of BCC-algebra which is a generalization of a BCK-algebra and proved that the class of all BCC-algebras...

The notion of a state is an analogue of a probability measure and was first introduced by Kôpka and Chovanec for MV-algebras and by Riec̆an for BLalgebras. The states have also been studied for different types of non-commutative fuzzy structures such as pseudo-MV algebras, pseudo-BL algebras, bounded R`monoids, residuated lattices and pseudo-BCK semilattices. In this paper we investigate the sta...