Status, Abstract

Gunther Schmidt

Relational Concepts in Social Choice

.pdf .bib

Relational and Algebraic Methods in Computer Science -- 13th International Conference, RAMICS 2012

September 17--20, 2012, Cambridge UK

Proceedings appeared as Lect. Notes in Comput. Sci. 7560 (278--293)

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

August 2012
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.