In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

in this article‎, ‎we have characterized ideals in $c(x)$ in which‎ ‎every ideal is also an ideal (a $z$-ideal) of $c(x)$‎. ‎motivated by‎ ‎this characterization‎, ‎we observe that $c_infty(x)$ is a regular‎ ‎ring if and only if every open locally compact $sigma$-compact‎ ‎subset of $x$ is finite‎. ‎concerning prime ideals‎, ‎it is shown that‎ ‎the sum of every two prime (semiprime) ideals of e...

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

in this paper, we define the notions of ultra and involution ideals in $bck$-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative $bck$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $bck$-semilattice, the not...

A positive integer is called an $E_j$-number if it the product of $j$ distinct primes. We prove that there are infinitely many triples $E_2$-numbers within a gap size $32$ and $E_3$-numbers $15$. As