Injective and projective semimodules over involutive semirings

Peter Jipsen, Sara Vannucci

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called \textit{involutive semirings}. The se…