Frederic Brenton Fitch An Extensional Variety of Extended Basic Logic. 13-21 1958 23 J. Symb. Log. 1 db/journals/jsyml/jsyml23.html#Fitch58