" A many-valued approach to deduction and reasoning for artificial intelligence / " by Cary G. deBessonet.