Computer-aided proofs of Arrow's and other impossibility theorems

DOI10.1016/j.artint.2009.02.005zbMath1187.91061OpenAlexW2102219503WikidataQ56114312 ScholiaQ56114312MaRDI QIDQ840816

Pingzhong Tang, Fangzhen Lin

Publication date: 14 September 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.02.005

zbMATH Keywords

knowledge representationsocial choice theoryArrow's theoremcomputer-aided theorem provingMuller-Satterthwaite theoremSen's theorem

Mathematics Subject Classification ID

Related Items (13)

Algorithmic Decision Theory Meets Logic ⋮ Computer-aided proofs of Arrow's and other impossibility theorems ⋮ First-order logic formalisation of impossibility theorems in preference aggregation ⋮ Arrow's decisive coalitions ⋮ Optimal bounds for the no-show paradox via SAT solving ⋮ Strategyproof social choice when preferences and outcomes may contain ties ⋮ Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs ⋮ Natural deduction for modal logic of judgment aggregation ⋮ Unnamed Item ⋮ Foreword ⋮ Automated reasoning in social choice theory: some remarks ⋮ An introduction to mechanized reasoning ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem

Uses Software

• Chaff

Cites Work

• Computer-aided proofs of Arrow's and other impossibility theorems
• Strategy-proofness and Arrow's conditions: existence and correspondence theorems for voting procedures and social welfare functions
• The equivalence of strong positive association and strategy-proofness
• Three brief proofs of Arrow's impossibility theorem
• Handbook of social choice and welfare. Vol. 1.
• Manipulation of Voting Schemes: A General Result
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computer-aided proofs of Arrow's and other impossibility theorems