In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...

Some aspects of the theory of Boolean algebras and distributive lattices -in particular, the Stone Representation Theorems and the properties of filters and ideals -are analyzed in a constructive setting.

‎‎we investigate graham higman's paper emph{enumerating }$p$emph{-groups}‎, ‎ii‎, ‎in which he formulated his famous porc conjecture‎. ‎we are able to simplify some of the theory‎. ‎in particular‎, ‎higman's paper contains five pages of homological algebra which he uses in‎ ‎his proof that the number of solutions in a finite field to a finite set of‎ ‎emph{monomial} equations is porc‎. ‎it turn...

In  cite{GL}, B. Gerla and I. Leuc{s}tean introduced the notion of similarity on MV-algebra. A similarity MV-algebra is an MV-algebra endowed with a binary operation $S$ that verifies certain additional properties. Also, Chirtec{s} in cite{C}, study the notion of similarity on L ukasiewicz-Moisil algebras. In particular, strong similarity L ukasiewicz-Moisil algebras were defined. In this paper...