Login / Signup
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies.
Edward Hermann Haeusler
Alexandre Rademaker
Published in:
CoRR (2018)
Keyphrases
</>
intuitionistic logic
legal ontologies
legal information retrieval
linear logic
classical logic
natural deduction
inference rules
e government
legal knowledge
decision making
normal form
proof theory