Social Choice Theory in HOL
Social Choice Theory in HOL
复制标题
HOL 中的社会选择理论
DOI：
10.1007/s10817-009-9147-4
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
T. Nipkow
中科院分区：
文献类型：
--
作者：
T. Nipkow
本文给出了Geanakoplos提出的阿罗不可能定理的两个证明的高阶逻辑形式化。Gibbard-Satterthwaite定理作为推论导出。在文献中发现的缺陷进行了讨论。
This article presents formalizations in higher-order logic of two proofs of Arrow’s impossibility theorem due to Geanakoplos. The Gibbard-Satterthwaite theorem is derived as a corollary. Lacunae found in the literature are discussed.