Computer-aided proofs of Arrow's and other impossibility theorems
type: Item
instance of: scholarly article
title: Computer-aided proofs of Arrow's and other impossibility theorems
zbMATH Open document ID: 1187.91061
author: Pingzhong Tang
author: Fangzhen Lin
published in: Artificial Intelligence
publication date: 2009-09-14T00:00:00Z
Mathematics Subject Classification ID: 91B14
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5603680
zbMATH Keywords: social choice theory
zbMATH Keywords: Arrow's theorem
zbMATH Keywords: Muller-Satterthwaite theorem
zbMATH Keywords: Sen's theorem
zbMATH Keywords: knowledge representation
zbMATH Keywords: computer-aided theorem proving
Wikidata QID: Q56114312
describes a project that uses: Chaff
MaRDI profile type: Publication
full work available at URL: j.artint.2009.02.005
OpenAlex ID: W2102219503
cites work: Handbook of social choice and welfare. Vol. 1.
cites work: Three brief proofs of Arrow's impossibility theorem
cites work: Manipulation of Voting Schemes: A General Result
cites work: Q4902563
cites work: Q5578545
cites work: The equivalence of strong positive association and strategy-proofness
cites work: Q4779807
cites work: Strategy-proofness and Arrow's conditions: existence and correspondence theorems for voting procedures and social welfare functions
DBLP publication ID: journals/ai/TangL09
DOI: 10.1016/J.ARTINT.2009.02.005
description: scientific article; zbMATH DE number 5603680