Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140)

The paper uses the theory of quantale modules of, e.g., [\textit{D. Kruml} and \textit{J. Paseka}, Handb. Algebra 5, 323--362 (2008; Zbl 1219.06016)] as a framework for representing propositional deductive systems (or propositional logics). Such a representation was motivated by the study of [\textit{N. Galatos} and \textit{C. Tsinakis}, J. Symb. Log. 74, No. 3, 780--810 (2009; Zbl 1181.03063)], which provided a representation of deductive systems in terms of complete posets acted on by complete residuated partially ordered monoids. This representation has already been reformulated in terms of modules over quantales and investigated further in [\textit{C. Russo}, Ann. Pure Appl. Logic 164, No. 2, 112--130 (2013; Zbl 1271.03093)] (see also [\textit{C. Russo}, Ann. Pure Appl. Logic 167, No. 3, 392--394 (2016; Zbl 1403.03136)]). Following the same line of study, the present paper describes coproducts and amalgamation of propositional deductive systems in terms of quantale modules. The obtained results can find applications in numerous areas such as, e.g., automated theorem provers and decision-making processes. As noted by the author himself, however, representation of propositional deductive systems as quantale modules has the drawback that such a representation appears to be not rich enough for handling first-order logics. The paper is well written, provides most of its required preliminaries (the omitted ones can be found in the list of references at the end of the paper), and will be of interest to all the researchers studying algebraic aspects of logic.