✦ LIBER ✦

Proof theory for admissible rules

✍ Scribed by Rosalie Iemhoff; George Metcalfe

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 887 KB
Volume: 159
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.10.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Admissible rules for logics containing S

Admissible rules for logics containing S4.3

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 418 KB

Proof rules for gotos

✍ Michael A. Arbib; Suad Alagić 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 389 KB

Infinite proof rules for loops

✍ F. Kröger 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 932 KB

Proof rules for recursive procedures

✍ Wim H. Hesselink 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 815 KB

Dialectic proof procedures for assumptio

Dialectic proof procedures for assumption-based, admissible argumentation

✍ P.M. Dung; R.A. Kowalski; F. Toni 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 267 KB

Strategy-proof consensus rules for commi

Strategy-proof consensus rules for committee elections

✍ H.-H. Bock; W.H.E. Day; F.R. McMorris 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 508 KB

committee election problem is to choose from a finite set S of candidates a nonempty subset of committee members as the consequence of an election in which each voter expresses a preference for a candidate in S. We use ideas of vote concentration to formulate families of committee election rules, wh