Semantics for analytic containment (Q1876092)

The notion of analytic containment introduced by R. B. Angell provides a kind of relevant implication whose main feature is that a disjunction is not always implied by its component. The extension of analytic containment by this usually admitted axiom on disjunction gives, in fact, rise to the relevant implication of Anderson and Belnap, which is called tautological entailment as well. By a suitably designed model theory, the author shows in this paper the completeness of the logic of first-degree analytic containment, which is a system of implicational formulas containing no implicational proper subformulas, and illustrates how the tautological entailment and classical consequence are characterized in the semantical framework.