Social Choice Theory in HOL

被引：3
|
作者：
Nipkow, Tobias [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, Munich, Germany
来源：
JOURNAL OF AUTOMATED REASONING | 2009年 / 43卷 / 03期
关键词：
Social choice theory; Arrow's theorem; Gibbard-Satterthwaite theorem; Higher-order logic; Theorem proving; ARROWS THEOREM; WELFARE;
D O I：
10.1007/s10817-009-9147-4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：289 / 304
页数：16
相关论文
共 50 条
  • [41] Social choice problems with public reason proceduralism
    Kugelberg, Henrik D.
    ECONOMICS AND PHILOSOPHY, 2022, 38 (01) : 51 - 70
  • [42] The launching of ‘social choice and welfare’ and the creation of the ‘society for social choice and welfare’
    Maurice Salles
    Social Choice and Welfare, 2005, 25 : 557 - 564
  • [43] Formalization of Symplectic Geometry in HOL-Light
    Wang, Guohui
    Guan, Yong
    Shi, Zhiping
    Zhang, Qianying
    Li, Xiaojuan
    Li, Yongdong
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 270 - 283
  • [44] INTRODUCTION TO HOL4 THEOREM PROVER
    Aksoy, Kubra
    Tahar, Sofiene
    Zeren, Yusuf
    SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI, 2019, 10 (02): : 237 - 243
  • [45] Formalization of Asymptotic Notations in HOL4
    Iqbal, Nadeem
    Hasan, Osman
    Siddique, Umair
    Awwad, Falah
    2019 IEEE 4TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION SYSTEMS (ICCCS 2019), 2019, : 383 - 387
  • [46] Safety in numbers: how social choice theory can inform avalanche risk management
    Ebert, Philip A.
    Morreau, Michael
    JOURNAL OF ADVENTURE EDUCATION AND OUTDOOR LEARNING, 2023, 23 (03) : 340 - 356
  • [47] Ambivalence of Globalization Process and Ethical Implications of Amartya Sen's Social Choice Theory
    Sokcevic, Simo
    FILOZOFSKA ISTRAZIVANJA, 2009, 29 (01): : 119 - 130
  • [48] A Solution to the Cold-Start Problem in Recommender Systems Based on Social Choice Theory
    Li, Li
    Tang, Xiao-jia
    INTELLIGENT AND EVOLUTIONARY SYSTEMS, IES 2015, 2016, 5 : 267 - 279
  • [49] Computational Social Choice
    Brandt, Felix
    32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 19 - 19
  • [50] An algebraic proof of a robust social choice impossibility theorem
    Falik, Dvir
    Friedgut, Ehud
    2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 413 - 422
12345