Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
homomorphism
|
| gptkbp:mapsBetween |
MV-algebras
|
| gptkbp:preserves |
0 element
1 element MV-algebra operations lattice operations negation operation |
| gptkbp:relatedTo |
gptkb:MV-algebra
|
| gptkbp:usedIn |
algebraic logic
|
| http://www.w3.org/2000/01/rdf-schema#label |
MV-homomorphism
|