In this paper, we interrelate the intuitionistic fuzzification of the concept of BCI-(positive implicative, implicative, commutative) ideals in BCI-algebras and investigate some of their properties.

In this note first we define the notion of dual positive implicative hyper Kideal of type 4, where for simplicity is written by DPIHKI − T4. Then we give some related results. Finally we determine all of hyper K-algebras of order 3, which have D1 = {1}, D2 = {1, 2} or D3 = {0, 1} as a DPIHKI − T4.

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.

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

We consider the fuzzification of the notion of implicative hyper BCK-ideals, and then investigate several properties. Using the concept of level subsets, we give a characterization of a fuzzy implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzy implicative hyper BCK-ideal. We establish a condition for a fuzzy hyper BCK-ideal to be a fuzzy implicative hype...

Copyright q 2010 Young Bae Jun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy implicative ideal of a BCK-algebra is introduced. Relations...

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

We consider the fuzzification of the notion of an n-fold implicative ideal, an n-fold (weak) commutative ideal. We give characterizations of an n-fold fuzzy implicative ideal. We establish an extension property for n-fold fuzzy commutative ideals. 2000 Mathematics Subject Classification. 06F35, 03G25, 03E72.