Entailment, the logic of relevance and necessity (1975)

by A R Anderson, N D Belnap