MV-ideal

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:definedIn algebraic logic
gptkbp:generalizes ideal (algebra)
gptkbp:hasProperty MV-algebra
absorbs meet with any element
closed under join
https://www.w3.org/2000/01/rdf-schema#label MV-ideal
gptkbp:relatedTo MV-algebra
gptkbp:studiedIn gptkb:logic
gptkbp:usedIn many-valued logic
gptkbp:bfsParent gptkb:MV-algebra
gptkbp:bfsLayer 7