Left Variable Inclusion Logics Associated with Classical Logic

Abstract

Logics of significance have been proposed in an attempt to overcome the shortcomings of classical logic as a model of reasoning in the presence of nonsignificant (e.g., meaningless, ill-formed, unverifiable) sentences. Many-valued logicians have addressed this problem by introducing logics with infectious truth values. Cases in point are the weak Kleene logics ${\mathrm{B}}_3$ (paracomplete weak Kleene logic) and $\mathrm{PWK}$ (paraconsistent weak Kleene logic). Over time, it has become clear that the valid entailments of these significance logics obey variable inclusion patterns that link them to other, usually better known, logics—such patterns, however, allow for disturbing exceptions. Logics of pure (left or right) variable inclusion have been introduced with an eye to removing these exceptions. In this paper, we consider the pure left variable inclusion companion of classical logic and give a complete description of its subclassical extensions. We also provide relative axiomatizations and characteristic (sets of) matrices for each one of these extensions, as well as syntactic descriptions (in terms of variable inclusion criteria) for the valid entailments of some of them, and determine in each case the algebra reducts of the Suszko-reduced matrix models.