Title: Functional Interpretation of Logical Deduction