Free products in the category of abelian l-groups with strong unit

Localization in Abelian `-groups with strong unit, via MV-algebras

In this paper we explore the role of Perfect MV-algebras in localization issues. Further, via suitable functors we describe a localization process for abelian lattice ordered groups with strong unit from localization of MV-algebras.

Extending Chang’s construction to the category of m-zeroids and some category containing the category of Abelian `-groups with strong unit

In this note we prove that it is impossible to extend the natural equivalence between the category of MV-algebras and the category of Abelian `-groups with strong unit described by C. C. Chang, 1958, and Cignoli & Mundici, 1997, to a natural equivalence between the category of m-zeroids and some category containing the category of Abelian `-groups with strong unit.

Bracket Products on Locally Compact Abelian Groups

We define a new function-valued inner product on L2(G), called ?-bracket product, where G is a locally compact abelian group and ? is a topological isomorphism on G. We investigate the notion of ?-orthogonality, Bessel's Inequality and ?-orthonormal bases with respect to this inner product on L2(G).

The Morita-equivalence between MV-algebras and abelian `-groups with strong unit

We show that the theory of MV-algebras is Morita-equivalent to that of abelian `-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-th...

Intuitionistic Free Abelian Groups