Text this: An introduction to many-valued and fuzzy logic :