In the framework of algebras with infinitary operations, an equational base for the category of σ-complete MV-algebras is given. In this way, we study some particular objects as simple algebras, directly irreducible algebras, ...

In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semisimple. All boolean algebras are strongly ...

Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper ...

We study MV-algebras that satisfacy tha ascending of descending chain conditions on ideals.  We demostrarted, for example, if an MV-algebra is artianan, then it has a finite number of minimal prime ideals. We also show the ...

We study MV-algebras that satisfacy tha ascending of descending chain conditions on ideals.  We demostrarted, for example, if an MV-algebra is artianan, then it has a finite number of minimal prime ideals. We also show the ...

In this article, we explore in some detail the free and weakly projective objects of the variety of Łukasiewicz implication algebras (the implicative subreducts of MV-algebras). We review the two already known descriptions ...

A  polyhedron in R^n  is a finite union of simplexes in R^n. An MV-algebra is  polyhedral if it is isomorphic to the MV-algebra of all continuous I-valued piecewise linear functions with integer coefficients, defined ...

In this paper we construct, given a Wajsberg hoop A, an MV-algebra MV(A) such that the underlying set A of A is a maximal filter of MV(A) and the quotient MV(A)/A is the two element chain. As an application we provide a ...

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions ...

Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127-133, 1978. ...