Normative systems and their revision: an algebraic approach
Publikation/Tidskrift/Serie: Artificial Intelligence and Law
Dokumenttyp: Artikel i tidskrift
The paper discusses normative systems and their revision within an algebraic framework. If a system is logically well-formed, certain norms, called connecting norms, determine the system as a whole. It is maintained that, if the system is well-formed, a relation at least as low as determines a lattice or quasi-lattice of its connecting norms. The ideas are presented mainly in the form of comments on a legal example concerning acquisition of movable property by extinction of another person's previous rights.
- normative system
- organic whole.
- boolean quasi-ordering
- connecting norm
- norm revision
- allmän rättslära