Text this: Algebraic and Proof-theoretic Aspects of Non-classical Logics