J. Jay Zeman Some Calculi with Strong Negation Primitive. 97-100 1968 33 J. Symb. Log. 1 db/journals/jsyml/jsyml33.html#Zeman68