Deduction and Applications