Text this: Automated Deduction in Classical and Non-Classical Logics