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

Abstrakt

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

Klíčová slova

• Infinitary logics
• Algebraic logic