A general approach to non-distributive logics