𝔖 Bobbio Scriptorium

✦ LIBER ✦

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation

✍ Scribed by Umberto Grandi, Ulle Endriss

Book ID: 120745975
Publisher: Springer Netherlands
Year: 2012
Tongue: English
Weight: 453 KB
Volume: 42
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-012-9240-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Proof normalization for a first-order formulation of higher-order logic

✍ Gunter, Elsa L.; Felty, Amy 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 813 KB