Subdirect Representation in Abstract Algebraic Logic

Abstrakt

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

Klíčová slova

• Propostional logics
• Infinitary logics
• Subdirect representation