Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics.

Samuel M. Brasil Jr., Berilhes Borges Garcia

Browse the full ICAIL paper archive.