In the 1940s Grigore Moisil introduced his Łukasiewicz–Moisil algebras (LM"n"-algebras) in the hope of giving algebraic semantics for the (finitely) "n"-valued Łukasiewicz logic. However, in 1956 Alan Rose discovered that for "n" ≥ 5, the Łukasiewicz–Moisil algebra does not model the Łukasiewicz "n"-valued logic. Although C. C. Chang published his MV-algebra in 1958, it is a faithful model only for the ℵ0-valued (infinitely-many-valued) Łukasiewicz–Tarski logic. For the axiomatically more complicated (finitely) "n"-valued Łukasiewicz logics, suitable algebras were published in 1977 by Revaz Grigolia and called MV"n"-algebras. MV"n"-algebras are a subclass of LM"n"-algebras; the inclusion is strict for "n" ≥ 5.