First-Order Logic Formalisation of Arrow’s Theorem
From MaRDI portal
Publication:3655224
DOI10.1007/978-3-642-04893-7_11zbMath1196.03052OpenAlexW2289331648MaRDI QIDQ3655224
Publication date: 7 January 2010
Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04893-7_11
Mechanization of proofs and logical operations (03B35) Social choice (91B14) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07)
Related Items
Impossibility results for infinite-electorate abstract aggregation rules ⋮ The model-theoretic approach to aggregation: impossibility results for finite and infinite electorates ⋮ Using Theorema in the Formalization of Theoretical Economics ⋮ Applications of Logic in Social Choice Theory
Uses Software
This page was built for publication: First-Order Logic Formalisation of Arrow’s Theorem