A many-valued approach to deduction and reasoning for artificial intelligence - DeBessonet, Cary G. (Kluwer international series in engineering and computer science ;, 1991)