An algebraic study of logics of variable inclusion and analytic containment
Michele Pra Baldi · 2018
This thesis focuses on a wide family of logics whose common feature is to admit a syntactic definition based on specific variable inclusion principles. This family has been divided into three main components: logics of left variable inclusion, containment logics, and the logic of demodalised analytic implication. We offer a general investigation of such logics within the framework of modern abstract algebraic logic.