Computer-aided proofs of Arrow's and other impossibility theorems

&
Artificial Intelligence 173 (11):1041-1053 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2009.02.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Combinatorial versus decision-theoretic components of impossibility theorems.David Makinson - 1996 - Theory and Decision 40 (2):181-189.
Arrow's Decisive Coalitions.Wesley H. Holliday & Eric Pacuit - 2020 - Social Choice and Welfare 54:463–505.
An impossibility theorem for amalgamating evidence.Jacob Stegenga - 2013 - Synthese 190 (12):2391-2411.
Arrow's theorem in judgment aggregation.Franz Dietrich & Christian List - 2007 - Social Choice and Welfare 29 (1):19-33.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Kenneth Arrow’s impossibility theorem stretching to other fields.Wulf Gaertner - 2018 - Public Choice.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
Aggregating sets of judgments: Two impossibility results compared.Christian List & Philip Pettit - 2004 - Synthese 140 (1-2):207 - 235.
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem.R. Routley - 1979 - Notre Dame Journal of Formal Logic 20 (4):879-890.
Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
Computer Aided Logical Design with Emphasis on VLSI.Frederick J. Hill & Gerald R. Peterson - 1993 - Wiley.
Why arrow's impossibility theorem is invalid.Sidney Gendin - 1994 - Journal of Social Philosophy 25 (1):144-159.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,434,892)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.

Add more citations

References found in this work

No references found.

Add more references