Article PDF
References
Geanakoplos, J.D.: Three brief proofs of Arrow’s impossibility theorem. Econ. Theory 26(1), 211–215 (2005)
Nipkow, T.: Social choice theory in HOL: Arrow and Gibbard-Satterthwaite. J. Automa. Reason 43(3), 289–304 (2009)
Wiedijk, F.: Arrow’s impossibility theorem. J. Formaliz. Math. 15(4), 171–174 (2009)
Tang, P., Lin, F.: Computer-aided proofs of Arrow’s and other impossibility theorems. Artif. Intell. 173(11), 1041–1053 (2009)
Geist, C., Endriss, U.: Automated search for impossibility theorems in social choice theory: ranking sets of objects. J. Artif. Intell. Res. 40, 143–174 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
The editors would like to thank the EPSRC, (grant EP/J007498/1, http://cs.bham.ac.uk/research/projects/formare/) for its support in the organization of a symposium which resulted in this special issue.
Rights and permissions
About this article
Cite this article
Kerber, M., Lange, C. & Rowat, C. Foreword. Math.Comput.Sci. 8, 1–4 (2014). https://doi.org/10.1007/s11786-014-0178-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-014-0178-9