Deduction in many-valued logics: a survey (1997)

by Reiner Hänle, Gonzalo Escalada-Imaz
Venue:Mathware and Soft Computing, IV(2):69–97