Seol mar théacs é seo: An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /