Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples

Abstract

We introduced a new hierarchy of in finitary propositional logics based on the extension and completeness properties of a given logic.

Keywords

• Infinitary logics
• Algebraic logic