A Formal Anaylysis Of Hohfeldian Relations

It is the goal of this article to provide a formal system in which all the Hohfeldian terms are formalized and in which all the relations Hohfeld requires among his concepts may be proved to hold. The effort will commence with a brief look at Professor Hohfeld's work. The development of the formal system will then begin with a reformulization of Professor Allen's work.' It will be a reformulation in that there will be a change in notation and his inference rules will be changed to an equivalent set of rules. The system must then also be extended to provide the logical machinery necessary to allow for changes in legal relations.