Download PDFOpen PDF in browserProjectivity and unification in the varieties of locally finite monadic MV-algebras4 pages•Published: July 28, 2014AbstractA description of finitely generated free monadic MV-algebras anda characterization of projective monadic MV-algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary. Keyphrases: Monadic algebra, MV-algebra, Projectivealgebra In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 88--91
|