Frederic Brenton Fitch Correction to a Definition of Negation. 47-50 1984 49 J. Symb. Log. 1 db/journals/jsyml/jsyml49.html#Fitch84