Proving Arrow's theorem by \texttt{PROLOG}

DOI10.1007/S10614-007-9086-2MaRDI QIDQ2385186zbMATH OpenOpenAlexFDO

Authors Kenryo Indo

Publication date 11 October 2007

Published in Computational Economics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10614-007-9086-2

zbMATH Keywords

Arrow's impossibility theoremsocial welfare function

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) Social choice (91B14) Welfare economics (91B15)

Recommendations

• scientific article; zbMATH DE number 3845284
• Computer-aided proofs of Arrow's and other impossibility theorems
• scientific article; zbMATH DE number 2086923
• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
• Arrow's theorem and Turing computability

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Algorithmic mechanism design
• scientific article; zbMATH DE number 1971503 (Why is no real title available?)
• scientific article; zbMATH DE number 1550909 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• Social choice and individual values

Describes a project that uses

Uses Software

• Prolog

This page was built for publication: Proving Arrow's theorem by \texttt{PROLOG}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385186)