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.
|