
doi: 10.1007/bf00370843
The author investigates the process of algebraization of the so-called equivalential and finitely equivalential logics. His approach is based on matrix semantics. In the paper, a logic need not be finitary (i.e., have only finitary rules). As to algebraizability, the author distinguishes between finitely algebraizable logics (i.e. those admitting a finite set of equivalence formulas; finitary finitely algebraizable logics are precisely the logics algebraizable in the sense of \textit{W. J. Blok} and \textit{D. Pigozzi} [Algebraizable logics, Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)]) and possibly infinitely algebraizable, or p.i.-algebraizable, ones. The main result of the paper states that a logic is finitely algebraizable (p.i.-algebraizable) iff it is finitely equivalential (resp., equivalential) and the truth predicate in the reduced matrix models is equivalentially definable. The paper contains the necessary background on equivalential and algebraizable logics. A natural example of an infinitary logic that is p.i.-algebraizable but not finitary algebraizable is presented, and known examples of nonfinitary finitely algebraizable logics are reminded.
equivalential logics, matrix semantics, algebraizable logics, protoalgebraic logics, implicative logics, Algebraic logic
equivalential logics, matrix semantics, algebraizable logics, protoalgebraic logics, implicative logics, Algebraic logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 41 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
