ISSN:
1572-8730
Keywords:
Annotated logics
;
paraconsistency
;
algebraic semantics
;
matrix semantics
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract We study the matrices, reduced matrices and algebras associated to the systems SAℒT 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 SAℒT 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005203411722
Permalink