Abstract In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It indicated that the axioms of a independent. The relationship between stated. After describing commutative, an implicative involutory BCK-algebras, some important properties proved. structures demonstrated. A with condition (S) described connection other shown. Finally, it proved for to be Boolean...

Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras. Their properties and connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. In this paper we study the class of perfect pseudo-BCK algebras with pseudo-product and we prove that any perfect pseudo-BCK algebra with pseudo-product is strongly bipartite. Anothe...

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...

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in ”left” and ”right” ones and we consider that, when dealing with several algebras in the same research, it is useful to present them unitarily, either as ”left” algebras or as ”right” algeb...

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...