Possible-translations algebraization for paraconsistent logics
Juliana Bueno-Soler, Walter Alexandre Carnielli · 2005
This note proposes a new notion of algebraizability, which we call possibletranslations algebraic semantics, based upon the newly developed possibletranslations semantics. This semantics is naturally adequate to obtain an algebraic interpretation for paraconsistent logics, and generalizes the well-known method of algebraization by W. Blok and D. Pigozzi. This generalization obtains algebraic semantics up to translations, applicable to several non-classical logics and particularly apt for paraconsistent logics, a philosophically relevant class of logics with growing importance for applications.