An order-theoretic analysis of interpretations among propositional deductive systems (Q690930)

The aim of this paper is to study interpretations and translations between propositional logics (making a distinct separation between these two notions) using the algebraic techniques developed by \textit{N. Galatos} and \textit{C. Tsinakis} in [J. Symb. Log. 74, No. 3, 780--810 (2009; Zbl 1181.03063)] or by the author himself. After the presentation of the principal notions used in this paper (consequence relation, propositional deductive system, interpretation, representation, elements of the theory of categories, language translation), the author presents the first important result of this paper: ``Any translation between two given propositional language \(\mathcal{L}\) and \(\mathcal{L'}\) induces a homomorphism between the corresponding substitution monoids.'' Then he proves that ``surjectivity is a sufficient condition for a language translation to have a right-inverse translation and, therefore, to induce a monoid retraction.'' Section 4 is dedicated to some preliminaries on quantales and quantale modules (a quantale module being an efficient abstract algebraic representation for a propositional deductive system). With these notions, the author presents a theorem (Theorem 5.5) ``that extend[s] one of the main results of [loc. cit.] to interpretations and representations between deductive systems with the same language.'' In Section 6, there appear again the quantale modules and the author proves, for example, ``that any homomorphism between two quantales defines an adjoint and co-adjoint functor between the corresponding categories of modules'' (Theorem 6.7). Moreover, he proves ``that such a functor is a full embedding if the corresponding quantale homomorphism is surjective, and its left adjoint is a retraction of categories if the quantale homomorphism is a retraction'' (Theorem 6.8). In Section 7, the author applies the results of the previous section ``in order to characterize the various types of interpretations between propositional deductive systems over different languages.''