|
gptkbp:instanceOf
|
gptkb:algebra
|
|
gptkbp:automorphismGroup
|
MV-automorphism
|
|
gptkbp:category
|
category of MV-algebras
|
|
gptkbp:generalizes
|
gptkb:algebra
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:probability_theory
theoretical computer science
fuzzy logic
|
|
gptkbp:hasAxiom
|
Chang's axioms
|
|
gptkbp:hasCongruence
|
MV-congruence
|
|
gptkbp:hasDual
|
gptkb:MV-coalgebra
|
|
gptkbp:hasEndomorphism
|
MV-endomorphism
|
|
gptkbp:hasFiniteModelProperty
|
yes
|
|
gptkbp:hasFreeObject
|
gptkb:free_MV-algebra
|
|
gptkbp:hasHomomorphism
|
gptkb:MV-homomorphism
|
|
gptkbp:hasIdeal
|
gptkb:MV-ideal
|
|
gptkbp:hasLatticeStructure
|
yes
|
|
gptkbp:hasVariant
|
variety of MV-algebras
|
|
gptkbp:introduced
|
gptkb:C._C._Chang
|
|
gptkbp:introducedIn
|
1958
|
|
gptkbp:isNonBooleanGeneralizationOf
|
gptkb:algebra
|
|
gptkbp:isQuotientOf
|
MV-quotient algebra
|
|
gptkbp:operator
|
binary operation ⊕
constant 0
unary operation ¬
|
|
gptkbp:relatedTo
|
gptkb:Łukasiewicz_logic
|
|
gptkbp:represents
|
representation theorem for MV-algebras
|
|
gptkbp:studiedIn
|
algebraic logic
algebraists
logicians
computer scientists
|
|
gptkbp:subunit
|
gptkb:MV-subalgebra
|
|
gptkbp:type
|
bounded lattice
commutative monoid
|
|
gptkbp:usedIn
|
gptkb:logic
many-valued logic
|
|
gptkbp:bfsParent
|
gptkb:infinite-valued_Łukasiewicz_logic
gptkb:n-valued_Łukasiewicz_logic
|
|
gptkbp:bfsLayer
|
6
|