𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proving a distribution-free generalization of the Condorcet Jury Theorem

✍ Scribed by Guillermo Owen; Bernard Grofman; Scott L. Feld

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
829 KB
Volume
17
Category
Article
ISSN
0165-4896

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Reconstruction of Proofs in Distr
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
✍ MARIA PAOLA BONACINA πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti

Applications of a general composition th
Applications of a general composition theorem to the star order of distributions
✍ JarosΕ‚aw Bartoszewicz πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 364 KB

A composition theorem proved recently by Joag-dev et al. (1995) is reformulated for quantile functions of distributions. The theorem is used to derive characterizations of the star order. As corollaries of the characterization theorem some inequalities for moments of order statistics from star order