Numerically exceptive logic a reduction of the classical syllogism - Murphree, Wallace A. (Lang, 1991)