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