Representing voting rules in Łukasiewicz's three-valued logic.
Adrian MiroiuMircea DumitruPublished in: J. Appl. Non Class. Logics (2022)
Keyphrases
- scoring rules
- nonmonotonic logics
- modal logic
- cartesian product
- computational social choice
- valued semantics
- voting rules
- computationally hard
- social choice
- orders of magnitude
- epistemic logic
- partial order
- np hardness
- nonmonotonic reasoning
- inference rules
- winner determination
- heuristic search
- computational complexity