Deduction in Many-Valued Logics: a Survey (1997)

by Reiner Hähnle , Gonzalo Escalada-imaz
Venue:Mathware & Soft Computing, iv(2):69--97
Citations:8 - 1 self