Logic of left variable inclusion and Plonka sums of matrices

Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi

The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic $⊢$. It turns out that the algebraic counterpart of…