𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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
Turning decision procedures into disprov
✍ 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