A many-valued approach to deduction and reasoning for artificial intelligence