MV-algebra
From Wikipedia, the free encyclopedia
In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation , a unary operation , and the constant , satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz. MV-algebras coincide with the class of bounded commutative BCK algebras.
This article needs editing to comply with Wikipedia's Manual of Style. In particular, it has problems with MOS:BBB. (July 2023) |