Inteligência ArtificialIntroduction to Many-Valued and Fuzzy Logic, an – Semantics, Algebras, and Derivation Systems