Logical matrices and non-structural consequence operators (Q792325)

Matrices certainly are a powerful instrument in the study of sentential calculi. The matrix approach can be extended to non-structural consequence operators by a more general definition of logical matrices, which was given by the author in an earlier work [Boll. Unione Mat. Ital., V. Ser., A 15, 66-76 (1978; Zbl 0385.03057)]. Given any algebra A and a consequence operator K on A, such that \(\sigma K\subset K\sigma,\) for every \(\sigma\) belonging to \({\mathcal E}\), a subset of End(A), a generalized matrix for them is a triplet \(<W,D,{\mathcal I}>\), where W is an algebra similar to A, D is a subset of W and \({\mathcal I}\) is a subset of Hom(A,W) such that \({\mathcal I}{\mathcal E}\subset {\mathcal I}\). Many classical results are extended to such generalized matrices and a theorem is given to characterize the lattice of non-structural consequence operators.