@inproceedings{natlogic-2015, author = {Rademaker, Alexandre and Haeusler, Edward Hermann}, title = {How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies}, booktitle = {Proceedings of 3rd Workshop on Generalizations of Truth‑Functionality}, year = {2015}, month = sep, address = {Natal, RN} }