Fuzzy Equational Logic by Radim Belohlávek & Vilem Vychodil