An Algebraic Approach to Non-Classical Logics