Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem

DOI10.1305/ndjfl/1093882810zbMath0438.90011OpenAlexW2084073060MaRDI QIDQ1142144

Richard Routley

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882810

zbMATH Keywords

independence of irrelevant alternativesgeneralizationArrow's impossibility theoremlogical analysisdominance lemmarectification of standard proofsvoting paradox lemma

Mathematics Subject Classification ID

Social choice (91B14)

Related Items (3)

Voting theory in the Lean theorem prover ⋮ Social choice theory in HOL. Arrow and Gibbard-Satterthwaite ⋮ Formalizing Arrow's theorem

This page was built for publication: Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem