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 Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz. MV-algebras coincide with the class of bounded commutative BCK algebras.
known for
Wikipage redirect
Algebraic logicAlgebraic semantics (mathematical logic)BCK algebraChen Chung ChangCyclically ordered groupEffect algebraGrigore MoisilHeyting algebraInvolution (mathematics)List of order theory topicsMV-AlgebraMV-algebrasMany-valued logicMonoidal t-norm logicMulti-adjoint logic programmingOutline of algebraic structuresResiduated latticeŁukasiewicz logicŁukasiewicz–Moisil algebra
Link from a Wikipage to another Wikipage
known for
primaryTopic
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 Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz. MV-algebras coincide with the class of bounded commutative BCK algebras.
has abstract
In abstract algebra, a branch ...... nded commutative BCK algebras.
@en
在纯数学分支抽象代数中,MV-代数(多值代数)是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,013,473,107
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
In abstract algebra, a branch ...... nded commutative BCK algebras.
@en
在纯数学分支抽象代数中,MV-代数(多值代数)是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
@zh
label
MV-algebra
@en
MV-代数
@zh