On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies

Abstract

In this article we show how Hans Kelsen jurisprudence and Intuitionistic logic are used to avoid the well-known contrary-to-duty (CTD) paradoxes, such as Chisholm paradoxes and its variants. This article uses an intuitionistic version of the ALC description logic, named iALC, to show how an ontology based on individually valid legal statements is able to avoid CTDs by providing models to them.

This is an extended version of the paper published in the proceedings of the festschrift of prof. Luiz Fariñas del Cerro in Toulouse 2015. (http://www.dc.fi.udc.es/~cabalar/LRC16/LRC16.pdf). arXiv admin note: substantial text overlap with arXiv:1402.0225