English Wikipedia - The Free Encycl...
Download this dictionary
MV-algebra
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
Lukasiewicz logic
; the letters MV refer to the
many-valued logic
of Lukasiewicz. MV-algebras coincide with the class of bounded commutative
BCK algebras
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License