Αποστολή με SMS: Automated Deduction in Classical and Non-Classical Logics