Algebraic and Proof-theoretic Aspects of Non-classical Logics