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?