Αποστολή με SMS: Algebraic and Proof-theoretic Aspects of Non-classical Logics