Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Representation of the Logic Embedded in Legal Language

Lookup NU author(s): Dr Brian Rossiter

Downloads


Abstract

The processing of normative statements depends heavily on the embedding of higher order logic within natural language. This is a prime component of legal computer science that needs a theoretical basis which can be realized in practice both as good science and as good engineering. Scientific rigour expects the use of mathematics, and the engineering element needs that mathematics to be constructive. Theoretical computer science has recently seen developments in constructive mathematics satisfying these principles with the use of category theory. An example of this formalism is used to represent the normative statement: John gives Mary the ring and title passes on delivery and to show by the use of the adjoint functor theorem the integration of law and logic embedded in natural language as needed in legal computer science.


Publication metadata

Author(s): Heather MA, Rossiter BN

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1996

Pages: 26

Print publication date: 01/11/1996

Source Publication Date: November 1996

Report Number: 554

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/554.pdf


Share