Movatterモバイル変換

[0]ホーム
URL:

About:MV-algebra

An Entity of Type:WikicatAlgebraicStructures,from Named Graph:http://dbpedia.org,within Data Space:dbpedia.org

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.

PropertyValue
dbo:abstract
  • 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. (en)
  • 在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2483815 (xsd:integer)
dbo:wikiPageLength
  • 12739 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1110773489 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • 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. (en)
  • 在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 、一元运算 和常量 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。 (zh)
rdfs:label
  • MV-algebra (en)
  • MV-代数 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
isdbo:knownFor of
isdbo:wikiPageRedirects of
isdbo:wikiPageWikiLink of
isdbp:knownFor of
isfoaf:primaryTopic of
Powered by OpenLink Virtuoso   This material is Open Knowledge    W3C Semantic Web Technology    This material is Open Knowledge   Valid XHTML + RDFa
This content was extracted fromWikipedia and is licensed under theCreative Commons Attribution-ShareAlike 3.0 Unported License
[8]ページ先頭
©2009-2025 Movatter.jp