Gunther Schmidt: Relational Concepts in Social Choice

Authors

Title

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
Gunther.Schmidt@UniBw.de
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.

Authors	Title	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 Gunther.Schmidt@UniBw.de	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.