Introduction to many valued and fuzzy logic: Semantics, Algebras and Derivation Systems - Bergmann, Merrie (2008)