MV-algebra
http://dbpedia.org/resource/MV-algebra an entity of type: Artifact100021939
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.
rdf:langString
在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
rdf:langString
rdf:langString
MV-algebra
rdf:langString
MV-代数
xsd:integer
2483815
xsd:integer
1110773489
rdf:langString
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.
rdf:langString
在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
xsd:nonNegativeInteger
12739