An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems