Abstract

This note presents some new results from [1] about the Suszko operator and truth‐equational logics, following the works of Czelakowski [11] and Raftery [17]. It is proved that the Suszko operator relative to a truth‐equational logic preserves suprema and commutes with endomorphisms. Together with injectivity, proved by Raftery in [17], the Suszko operator relative to a truth‐equational logic is a structural representation, as defined in [15]. Furthermore, if is a quasivariety, then the Suszko operator relative to a truth‐equational logic is continuous. Finally, it is proved that truth is equationally definable in the class if and only if is a ‐algebraic semantics for and the Suszko operator preserves suprema and commutes with substitutions.