Faculté des lettres et sciences humaines

## Semantics for Analytic Containment

### In: Studia Logica, 2004, vol. 77, no. 1, p. 87-104

In 1977, R. B. Angell presented a logic for analytic containment, a notion of “relevant” implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I... More