Containment logics and Plonka sums of matrices
Stefano Bonzio, Michele Pra Baldi · arXiv (Cornell University) · 2018
In this paper we study the right variable inclusion companion of a logic, also called its containment logic. We show that such logics possess a matrix semantics which is obtained by extending the construction of Plonka sums from algebras to logical matrices. In particular, we provide an appropriate completeness theorem for a wide family of containment logic, and we show how to produce a complete Hilbert style axiomatization. Moreover we characterize the structure of their Lebiniz and Suszko reduce models.