Intuitionistic Logic and Legal Ontologies.

Edward Hermann Haeusler Valeria de Paiva Alexandre Rademaker

Published in: JURIX (2010)

Keyphrases

intuitionistic logic
legal ontologies
legal information retrieval
legal knowledge
linear logic
classical logic
e government
natural deduction
proof theoretic
normal form
fixed point
decision making
cut elimination
machine learning
first order logic