The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract (...) analysis of one of Blok and Pigozzis’s characterizations of algebraizable logics. The problem, which was later on reformulated independently by Gil-Férez and by Galatos and Tsinakis, was solved by Galatos and Tsinakis in the more abstract framework of the category of modules over a complete residuated lattice, and by Galatos and Gil-Férez in the even more abstract setting of modules over a quantaloid. We solve the representation problem in Blok and Jónsson’s original context of M-sets, where M is a monoid, and characterise the corresponding M-sets both in categorical terms and in terms of their inner structure, using the notions of a graded M-set and a generalized variable introduced by Gil-Férez. (shrink)

We generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariablyaggregatedvia set-theoretical union. Our approach is more general in that nonidempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. (...) In their abstract form, thus,deductive relationsare defined as additional compatible preorderings over certain partially ordered monoids. We investigate these relations using categorical methods and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic. (shrink)

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. (shrink)