abstract:In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to many-valued logic of Łukasiewicz.
This paper researchedtheintervaltopologyand order topology ofMValgebra as well as the tightness, connectedness, completeness and the total-orderness ofMValgebra.