In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation <math>\oplus</math>, a unary operation <math>\neg</math>, and the constant <math>0</math>, satisfying certain axioms. MV-algebras are models of Łukasiewicz logic; the letters MV refer to multi-valued logic of Łukasiewicz.

PropertyValue
dbpprop:abstract
  • In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation <math>\oplus</math>, a unary operation <math>\neg</math>, and the constant <math>0</math>, satisfying certain axioms. MV-algebras are models of Łukasiewicz logic; the letters MV refer to multi-valued logic of Łukasiewicz.
  • 在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 <math>\oplus</math>、一元运算 <math>\neg</math> 和常量 <math>0</math> 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation <math>\oplus</math>, a unary operation <math>\neg</math>, and the constant <math>0</math>, satisfying certain axioms. MV-algebras are models of Łukasiewicz logic; the letters MV refer to multi-valued logic of Łukasiewicz.
  • 在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 <math>\oplus</math>、一元运算 <math>\neg</math> 和常量 <math>0</math> 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
rdfs:label
  • MV-algebra
  • MV-代数
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of