Kees Doets Axiomatizing Universal Properties of Quantifiers. 901-905 1991 56 J. Symb. Log. 3 db/journals/jsyml/jsyml56.html#Doets91 http://projecteuclid.org/euclid.jsl/1183743738