The notion of positive implicative vague ideals in BCKalgebras is introduced. A relation between a vague ideal and a positive implicative vague ideal is discussed. Characterizations of a positive implicative vague ideal are considered. 2010 AMS Classification: 06F35, 03G25, 03E72

In this paper, we present the notions of cubic (weak) implicative hyper BCK-ideals of hyper BCKalgebras and then we present some results which characterize the above notions according to the level subsets. In addition, we obtain the relationship among these notions, cubic positive implicative hyper BCK-ideals of types-1, 2...8 and obtain some related results.AMS (2010): 06F35.

We consider the fuzzification of the notion of an n-fold positive implicative ideal. We give characterizations of an n-fold fuzzy positive implicative ideal. We establish the extension property for n-fold fuzzy positive implicative ideals, and state a characterization of PIn-Noetherian BCK-algebras. Finally we study the normalization of n-fold fuzzy positive implicative ideals. 2000 Mathematics...

The notions of coupled N -subalgebra, coupled (positive implicative) N -ideals of d-algebras are introduced, and related properties are investigated. Characterizations of a coupled N -subalgebra and a coupled (positive implicative) N -ideals of d-algebras are given. Relations among a coupled N -subalgebra, a coupled N -ideal and a coupled positive implicative N -ideal of d-algebras are discussed.

In this paper, we acquaint new kinds of ideals BCK-algebras built on tripolar picture fuzzy structures. fact, the notions ideal, implicative ideal (commutative ideal) BCK-algebra are introduced, and related properties studied. Also, a relation among is well-known. Furthermore, it shown that may be but converse not correct in common. Further, obtained an BCK-algebra, aforementioned statement tru...

Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras. We introduce the quasi-RM, quasi-RML, quasi-BCI, (commutative, positive implicative, quasi-implicative, with product) quasi-BCK, quasi-Hilbert and quasi-Boolean algebras as gen...

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

Doubt m-polar subalgebras (ideals) were introduced and some properties investigated. Also, doubt positive implicative (commutative) ideals defined related results proved.

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...