ALGEBRAS AND MATRICES FOR ANNOTATED LOGICS ∗

We study the matrices, reduced matrices and algebras associated to the systems SALτ of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them. We prove that the equivalent algebraic semantics associated with the systems SALτ are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a decision procedure for these logics.