New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Not on the map. Why?
Abstract (arXiv)
In order to design and engineer ethical and legal reasoners and responsible systems, Benzm"uller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantical embedding of deontic logics into classic higher-order logic. This article considerably extends the LogiKEy deontic logics and dataset using an algebraic approach, and develops a theory of input/output operations for normative reasoning on top of Boolean algebras.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 1 of its 46 references that are in the map. First posted on arXiv 25 Jul 2021.
Builds on
1 of 46 references.
References · 1
- 2019A geometrical view of I/O logiccited by 1
Built on by
Not cited yet.