Title: Algebraic and Proof-Theoretic Aspects of Non-Classical Logics