Frederic Brenton Fitch A Definition of Negation in Extended Basic Logic. 29-36 1954 19 J. Symb. Log. 1 db/journals/jsyml/jsyml19.html#Fitch54