Title: Deduction Theorem and Peirce Law in General Algebraic Logic