The trouble Anderson and Belnap have wit
โ
B. J. Copeland
๐
Article
๐
1980
๐
Springer Netherlands
๐
English
โ 509 KB
C.I. Lewis set out to produce a systematic formal analysis of the relation converse to the relation of deducibility, or in other words, of the relation of entailment. The result was his modal logic, and he claimed of his modal operator strict implication that it "expresses precisely that relation wh