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