zbMATH — the first resource for mathematics

A survey of abstract algebraic logic. (English) Zbl 1057.03058
As indicated in the title, this is a survey paper about AAL (Abstract Algebraic Logic). One of the goals of AAL is to discover general criteria for a class of algebras (for example, logical matrices) to be the algebraic counterpart of a logic and to develop the methods for obtaining this algebraic counterpart. In order to do so, an abstraction of the well-known Lindenbaum-Tarski method is one of the main tools, and it plays a very important role. Another important goal of AAL is to classify the logical systems based on the algebraic properties of their algebraic counterparts.

03G99 Algebraic logic
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Full Text: DOI