Basic propositional fuzzy logic