Functional voting operators: The non-monotonic case (Q1310609)

We extend the non-binary framework of social choice introduced by \textit{M. A. Aizerman} and \textit{F. T. Aleskerov} [ibid. 11, 201-242 (1986; Zbl 0597.90006)], in which individual choice functions are aggregated into a social choice function, by considering non-monotonic operators. We characterize the class of `local' operators and provide the explicit forms of local operators satisfying various combinations of normative and rationality conditions in the absence of monotonicity. Surprisingly, the restriction of monotonicity is not binding for operators satisfying the usual rationality conditions. We identify two rationality restrictions which do admit non-monotonic operators. One restriction admits every sovereign and neutral operator, and the other admits only dictatorship and anti-dictatorship operators. This last result is a direct non-binary counterpart to Wilson's theorem [see \textit{R. Wilson}, J. Econ. Theory 5, 478-486 (1972)].