Logics of left variable inclusion and Płonka sums of matrices (Q2219088)

The paper is dedicated to the study of logics with left variable inclusion condition. With each substitution invariant logic \(\vdash\) one can associate a substitution invariant logic \(\vdash^l\) given by: \[ \Gamma \vdash^l \varphi \iff \text{ there is } \Delta \subseteq \Gamma \text{ such that} Var(\Delta) \subseteq Var(\varphi)\text{ and } \Delta \vdash \varphi. \] As usual, matrix is a pair \(\langle \mathbf{A},F \rangle\) where \(\mathsf{A}\) is an algebra and \(F \subseteq A\). A directed system of algebras consists of \begin{itemize} \item[(i)] a semilattice \(\mathbf{I} = \langle I, \lor\rangle\); \item[(ii)] a family of algebras \(\{\mathbf{A}_i : i \in I\}\); \item[(iii)] a homomorphism \(f_{ij}: \mathbf{A}_i \leftarrow \mathbf{A}_j\), for every \(i,j \in I\) such that \(i \leq j\); \end{itemize} moreover, \(f_{ii}\) is the identity map for every \(i \in I\), and if \(i \leq j \leq k\), then \(f_{ik} = f_{jk}\circ f_{ij}\). If \(X\) is a directed system, the Plonka sum of X (in symbols \(\mathcal{P}{\textit{l}}(X)\)) is the algebra defined as follows. The universe of \(\mathcal{P}l(X)\) is the union \(\bigcup_{i \in I}\mathbf{A}_i\), and for every \(n\)-ary operation \(f\) and \(a_1,\dots,a_n \in \bigcup_{i \in I}\mathbf{A}_i\), \[ f^{\mathcal{P}l(X)}(a_1,\dots,a_n) := f^{\mathbf{A}_j}(f_{i_1j}(a_1),\dots, f_{i_nj}(a_n)). \] It is proven that given a logic \(\vdash\) and a class of matrices \(M\) containing \(\langle \mathbf{1}, {1}\rangle\), where \(\mathbf{1}\) is a trivial algebra, if \(\vdash\) is complete w.r.t. \(M\), then \(\vdash^l\) is complete w.r.t. \(\mathcal{P}{\textit{l}}(M)\).