 All the other axioms were shown to be independent (Chvalovský, 2012).Like in other propositional t-norm fuzzy logics, algebraic semantics is predominantly used for MTL, with three main classes of algebras with respect to which the logic is complete