Algebraic models and mv-algebras for fuzzy reasoning