Definitions for "Abstract algebraic logic"
Abstract Algebraic Logic (AAL) is the field of mathematical logic that studies the ways in which classes of algebras may be associated with logical systems and how these classes of algebras interact with the logical systems.