Email Record: Algebraic and proof-theoretic aspects of non-classical logics