A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence (The Springer International Series in Engineering and Computer Science)