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

We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK-ideals of BCK-algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzymultiply positive implicative hyper BCK-ideal. Moreov...

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...

The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Buşneag’s model ([1–3]), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Conditions for a real-valued function to be an BCK-pseudo-valuation are provided. The fact that the binary operation in BCC-algebras is uniformly continuous is provided based on the notion of (pseudo) valuation.

The purpose of this paper is to introduce the notation single-valued neutrosophic hyper BCK-subalgebras and a novel concept neutro BCK-algebras as generalization alternative BCK-algebras, that have larger applicable field. In order realize article’s goals, we construct on given nonempty set. result research respectively. Also, some results are obtained between extended (extendable) via fundamen...

We study the soft sets applied on the structure of filters of BCK-algebras. A connection between soft BCK-algebras and filteristic soft BCK-algebras is given also. Finally, important operations such as intersection, union, “AND”, “OR”, and subset operations of soft filters and filteristic soft BCK-algebras are investigated.

A C *-algebra A is called an ideal C * -algebra (or equally a dual algebra) if it is an ideal in its bidual A**. M.C.F. Berglund proved that subalgebras and quotients of ideal C*-algebras are also ideal C*-algebras, that a commutative C *-algebra A is an ideal C *-algebra if and only if it is isomorphicto C (Q) for some discrete space ?. We investigate ideal J*-algebras and show that the a...

in this paper, given a poset $(x,leq)$, we introduce some  drifts on a groupoid $(x,*)$ with respect to $(x,leq)$, and we obtain several properties of these drifts related to the notion of $bin(x)$. we discuss some connections between fuzzy subalgebras and upward drifts.

‎In this paper‎, ‎we investigate the invariant elements of the dual mod $p$ Steenrod subalgebra ${mathcal{A}_p}^*$ under the conjugation map $chi$ and give bounds on the dimensions of $(chi-1)({mathcal{A}_p}^*)_d$‎, ‎where $({mathcal{A}_p}^*)_d$ is the dimension of ${mathcal{A}_p}^*$ in degree $d$‎.