A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence - deBessonet, Cary G. (Springer US, 1991)