The Logic of Entailment and its History (opens in new tab)

Anderson & Belnap, in their monumental work, Entailment: the Logic of Relevance and Necessity, placed the entailment connective—a connective expressing the concept first introduced by G.E. Moore in ‘External and Internal Relations’ as the converse of deducibility—at the heart of logic.…