An Explication of System EI, The Pure Calculus of Entailment, developed by Alan Ross Anderson and Nuel D. Belnap Jr., with special attention given to their position concerning the paradoxes of implication
Steward, John Richard
MetadataShow full item record
In this paper, we wi11 focus on system EI and the arguments, presented by Anderson and Belnap, for rejecting the paradoxes of implication, 1nc1ucling the disjunctive syllogism (p & (-p v q) -- q). We will also examine the process by which system EI is constructed to avoid the above paradoxes.