A Survey of Abstract Algebraic Logic
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization
Algebraic Semantics for Deductive Systems
The Suszko Operator. Part I.
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes
Categorical Abstract Algebraic Logic
Review of Protoalgebraic Logics by J. Czelakowski