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

by R Hähnle, G Escalada-Imaz
Venue:Mathware & Soft Computing, IV(2):69–97