Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization G. D. BarbourJ. G. Raftery OriginalPaper Pages: 99 - 152
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes Katarzyna Pałasińska OriginalPaper Pages: 233 - 273
Categorical Abstract Algebraic Logic: Equivalent Institutions George Voutsadakis OriginalPaper Pages: 275 - 311