On the semisimple tensor product of MV-algebras

In this note we show how the MV-algebraic tensor product can be used to define natural adjunctions between the algebraic structures of Łukasiewicz logic with product. In order to do this, we define the semisimple tensor PMV-algebra of a semisimple MV-algebra.