Describir: Fuzzy Equational Logic