Intuistionistic and classical propositional logic, and even clasical first order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?