In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation ⊕ {\displaystyle \oplus } , a unary operation ¬ {\displaystyle \neg } , and the constant 0 {\displaystyle 0} , satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz.
In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation ⊕ {\displaystyle \oplus } , a unary operation ¬ {\displaystyle \neg } , and the constant 0 {\displaystyle 0} , satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz.
Source: Wikipedia "MV-algebra" · CC BY-SA 4.0
Share this article: X · Bluesky