D. J. Shoesmith T. J. Smiley Deducibility and Many-Valuedness. 610-622 1971 36 J. Symb. Log. 4 db/journals/jsyml/jsyml36.html#ShoesmithS71