Title: A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence