Proving Arrow's theorem by \texttt{PROLOG}

DOI10.1007/S10614-007-9086-2zbMATH Open1282.91008OpenAlexW2018647708MaRDI QIDQ2385186FDOQ2385186

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

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

zbMATH Keywords

Arrow's impossibility theoremsocial welfare function

Mathematics Subject Classification ID

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

Cites Work

• Social choice and individual values
• A Machine-Oriented Logic Based on the Resolution Principle
• Algorithmic mechanism design
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)