μMV algebras: an approach to fixed points in Lukasiewicz logic
Author: Luca Spada
Abstract: We study an extension of MV algebras, called μMV algebras, in which minimal and maximal fixed points are definable. The first result is that μMV algebras are term-wise equivalent to divisible MV∆ algebras, i.e. a combination of two known extensions of MV algebras: divisible MV algebras and MV∆ algebras. Using methods from the two known extensions we derive a number of results about μMV algebras; among others: subdirect representation, standard completeness, and amalgamation property.
