Projectivity and unification in the varieties of locally finite monadic MV-algebras
A description of finitely generated free monadic MV-algebras anda characterization of projective monadic MV-algebras in locally finitevarieties is given. It is shown that unification type of locally finitevarieties is unitary.
2016 ◽
Vol 15
(08)
◽
pp. 1650149
◽
Keyword(s):
2003 ◽
Vol 31
(9)
◽
pp. 4195-4214
◽
Keyword(s):
2013 ◽
Vol 57
(2)
◽
pp. 323-338
◽