Deduction in many-valued logics: a survey. Reiner Hähnle, Gonzalo Escalada-Imaz (1997) Mathware and Soft Computing