Storrs McCall Connexive Class Logic. 83-90 1967 32 J. Symb. Log. 1 db/journals/jsyml/jsyml32.html#McCall67