Title: Automated Deduction in Classical and Non-Classical Logics