Alan Rose Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul. 63-65 1953 18 J. Symb. Log. 1 db/journals/jsyml/jsyml18.html#Rose53