Relational concepts in social choice

  • Authors:

  • Gunther Schmidt

  • Affiliations:

  • Fakultät für Informatik, Universität der Bundeswehr München, Neubiberg, Germany

  • Venue:
  • RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

What now is called social choice theory has ever since attracted mathematicians -- not least several Nobel laureates -- who try to capture the comparison relations expressed and to aggregate them. Their results are often referred to nowadays. The purpose of this paper is to make point-free relation-algebraic mathematics available as a tool for the study of social choice. Thus, we provide simplification, additional systematics, more compact relation-algebraic proofs and also an access to solving such problems with programs in the language TituRel -- at least for the medium sized cases.