Adding structure to MV-algebras

We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In particular, we study the structures resulting from adding the characteristic function for truth, adding an arithmetical product, and the corresponding residuation operator. We characterize the free algebras in the relative equational classes, and we discuss their spectral spaces.