Categorical abstract algebraic logic: Algebraizable institutions
The framework developed by W. J. Blok and D. Pigozzi for the algebraizability of deductive systems is extended to the algebraizability of multisignature logics with quantifiers.
scientific article; zbMATH DE number 1892222