I am really interested in exploring if (legal) laws can be proven to be self-consistent using a formal programming language / proof assistant, and modeling the laws using category theory, perhaps David I. Spivak’s “Categorical Query Language”, or a “process algebra” language like TLA+.
Could anyone please give me a primer on that or refer me to more relevant ideas in research?
(“Purposive law” comes in as the idea that laws could somehow be evaluated as achieving a purpose, not a declaration of what is or is not allowed, by what the intended outcome is.)
Thank you very much.
https://dblp.org/pid/59/5301.html
https://iecscience.org/uploads/jpapers/202102/sXyiWTBC21PLv0RLjTbKS3vuHTzTcVttiy1rKHpB.pdf