3 papers
math.LO2022
Subordination Algebras as Semantic Environment of Input/Output Logic
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…
cs.AI2021
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Ali Farjami
In order to design and engineer ethical and legal reasoners and responsible systems, Benzmüller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantica…
cs.AI2018
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Christoph Benzmüller, Ali Farjami, Xavier Parent
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, fait…