✦ LIBER ✦

Continuos social decision procedures

✍ Scribed by John A. Ferejohn; Edward W. Packel

Book ID: 107908686
Publisher: Elsevier Science
Year: 1983
Tongue: English
Weight: 930 KB
Volume: 6
Category: Article
ISSN: 0165-4896
DOI: 10.1016/0165-4896(83)90046-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a class of rational social decision p

On a class of rational social decision procedures

✍ John A Ferejohn; David M Grether 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 617 KB

Choice procedures and power structure in

Choice procedures and power structure in social decisions

✍ Taradas Bandyopadhyay 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 169 KB

Basso continuo

✍ HEYWORTH, MARTIN F. 📂 Article 📅 1984 🏛 Nature Publishing Group 🌐 English ⚖ 138 KB

Hierarchical decision procedure

✍ L. B. Koshlai 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 257 KB

Validated Proof-Producing Decision Proce

Validated Proof-Producing Decision Procedures

✍ Robert Klapper; Aaron Stump 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Turning decision procedures into disprov

Turning decision procedures into disprovers

✍ André Rognes 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB

## Abstract A class of many‐sorted polyadic set algebras is introduced. These generalise structure and model in a way that is relevant in regards to the Entscheidungsproblem and to automated reasoning. A downward Löwenheim‐Skolem property is shown in that each satisfiable finite conjunction of pur