Computational Reasoning in Distributed Legal Information Systems

Abstract

The lattice is a fundamental structure existing at and phenomenological level. Modern electronic networks and links in legal inference are important examples of distributed computational power. A better formal understanding of both legal information systems and legal reasoning is provided by recent advances in theoretical computer science and databases. Computational type theory and intuisionistic logic are by the Gurry-Howard isomorphism equivalent. Instances are given in current constructive mathematics using category theory and geometric logic for both intuisionistic legal reasoning and documents in hypermedia. An equivalence for inference is given by the Heytiing implication A => B and its counterpart the concept of awareness by the universal contra variant functor and natural transformation α＊.