Subdirect Representation in Abstract Algebraic Logic

Abstract

We presented an enriched version of a hierarchy of infinitary propositional logics and explained its relation to the subdirect representation property.

Keywords

• Propostional logics
• Infinitary logics
• Subdirect representation