Chang's MV-algebra

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:algebra
MV-algebra
gptkbp:hasUnderlyingSet set of rational numbers in [0,1] with denominator a power of 2
https://www.w3.org/2000/01/rdf-schema#label Chang's MV-algebra
gptkbp:introducedIn 1958
gptkbp:isCountable true
gptkbp:isFirstNontrivialMVAlgebra true
gptkbp:isGeneratedBy one generator
gptkbp:isPrototypeOf infinite-valued Łukasiewicz logic algebra
gptkbp:isSimple true
gptkbp:isTotallyOrdered true
gptkbp:namedAfter gptkb:C._C._Chang
gptkbp:operator MV-algebra operations (⊕, ¬, 0)
gptkbp:usedIn many-valued logic
gptkbp:bfsParent gptkb:C.C._Chang
gptkbp:bfsLayer 6