Constitutionalism and Legal Reasoning

Our main goal here is to show how an intuitionistic version of the Description Logic ALC [1] can be used to handle adequately certain incoherent situations in ...







Intuitionistic Description Logic and Legal Reasoning
A system that reaches normative conclusions must be able to consider not only the factual situation but also what should happen in.
An Introduction to Legal Reasoning
the justification for frequent concrete examples of judicial usage, and hence for liberal quotations from apposite judicial opinions. Instructive examples ...
On the Foundations of Legal Reasoning in International Law
In addition to, and far more important than em- pirical disagreement, is what Dworkin terms Theoretical Disagreement (hereafter. TD). This type ...



Autres Cours:

a Formal Language for A posteriori Verification of Legal Rules - Liris