## Abstract In [This Zeitschrift 25 (1979), 45β52, 119β134, 447β464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generaliz
The Fundamental Theorem of Voting Schemes
β Scribed by D.E. Loeb
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 298 KB
- Volume
- 73
- Category
- Article
- ISSN
- 0097-3165
No coin nor oath required. For personal study only.
β¦ Synopsis
Introduction
Let V be a set, and call the elements of V voters or players. A subset A V is called a coalition. The compliment V&A of a coalition A is denoted A . A set of coalitions S is a game if all supersets of winning coalitions are winning as well.
A coalition A V is said to be blocking (in S) if A Γ S. The set of all blocking coalitions is denoted S*, and is called the dual of S, since (S*)*=S. A game S is simple if A # S (A wins) implies A Γ S (A blocks); i.e. S S*. Conversely, a game S is strong if A Γ S (A blocks) implies A # S (A wins); i.e. S* S.
Given a weight w i # N for each voter i # V=[1, 2, ..., n] and a quota q # N, we can define the quota game (w 1 , w 2 , ...,
Democracy over an odd number of voters is a strong simple game. Dem 2n+1 =(11... 1 2n+1 ) n+1 =[A [1, ..., 2n+1] : |A| >n].
Similarly, dictatorships are also strong simple games.
π SIMILAR VOLUMES
Let G be a finite group and S a finite G-monoid. A crossed G-set over S is a finite G-set equipped with a G-map into S called a weight function. A crossed Ε½ . Burnside ring X β G, S is the Grothendieck ring of the category of crossed G-sets with respect to disjoint unions and tensor products. In thi
The purpose of this article is a comprehensive survey of the history of the Fundamental Theorem of Arithmetic. To this aim we investigate the main steps during the period from Euclid to Gauss. C 2001 Academic Press Dans cet article nous donnons une vue d'ensemble de l'histoire du Theorème Fondamenta
## Abstract Let \documentclass{article}\usepackage{amssymb,amsmath,amsthm,amscd,amsxtra}\begin{document}\pagestyle{empty}$\mathbb {H}^n$\end{document} be the __n__βdimensional hyperbolic space. It is wellβknown that, if \documentclass{article}\usepackage{amssymb,amsmath,amsthm,amscd,amsxtra}\begin{
We show that Hua's fundamental theorem of the geometry of rectangular matrices can be proved without the bijectivity assumption when the underlying field is the field of real numbers. We also give a counterexample showing that this generalization is not possible in the complex case.  2002 Elsevier