Allen, Layman

Scholar in Residence


  • Room: 313
  • Telephone: 313-596-9843
  • E-Mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it.
  • LL.B. Yale '56
  • M.P.A. Harvard '52
  • A.B. Princeton '51

Layman E. Allen has been a pioneer in the use of mathematical logic as a tool of analysis in law as well as in the use of computers in the field of legal research. He has developed a formal system of the logic of legal relations, which includes underlying systems of propositional, predicate, class, deontic, action, time, and capacitive logic. The primary application of the logic of legal relations and its accompanying legal relations language is in the drafting and interpretation of legal documents ranging from constitutions and statutes to contracts and by-laws. In the field of artificial intelligence and law the legal relations language has led to generative expert systems that facilitate analysis of legal provisions having multiple interpretations stemming from ambiguous expression of logical structure. His interest in teaching mathematical logic to lawyers has led to the development of a series of games about logic, mathematics, and law, the most notable being WFF ‘N PROOF, EQUATIONS, and The Legal Argument Game of Legal Relations. Professor Allen is a graduate of Princeton with an A.B., Harvard with an M.P.A., and Yale with an LL.B. His research interests are mathematical logic, computers and law, instructional gaming, and artificial intelligence.

Recent Publications

"The Legal Argument Game of Legal Relations." C. S. Saxon, co-author. J.L. & Info. Science. Forthcoming. (Originally published under the same title in E-Law - Murdoch U. Electronic J.L. 5, no. 3 (1998)