Update to “A Survey of Abstract Algebraic Logic”

摘要

A definition and some inaccurate cross-references in the paper A Survey of Abstract Algebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographic references. Keywords Algebraic logic - finitely algebraizable logic - abstract algebraic logic - quasivariety Presented by Jacek Malinowski