1. Blok, W.J., La Falce, S.B.: Komori identities in algebraic logic. Rep. Math. Logic 34, 79–106 (2000)
2. Blok, W.J., Pigozzi, D.: Algebraizable Logic, vol. 396. Memoirs of the American Mathematical Society, Providence (1989)
3. Czelakowski, J., Pigozzi, D.: Fregean logics. Ann. Pure Appl. Log. 127, 17–76 (2004)
4. Font, J.M.: Abstract Algebraic Logic: An Introductory Textbook. College Publications (2016)
5. Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28(7), 1367–1442 (2016)