Pure Refined Variable Inclusion Logics

In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.