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

by R Hähnle, G Escalada-Imaz
Venue:Mathware and Soft Computing IV