Intuitionistic Logic and Legal Ontologies Academic Article uri icon