Computational Aspects of Residuated Lattices

Peter Jipsen

Vanderbilt University / University of Cape Town

 

 

 

 

1914 - 1993; BSc, PhD Caltech (1939); Advisor: Morgan Ward

Students:

  1. D.T. Finkbeiner
  2. W. Doyle
  3. J.E. McLauglin
  4. R.B. Talmadge
  5. R.S. Pierce
  6. D.E. Edmondson
  7. J. Hartmanis
  8. J.B. Johnston
  9. P. Crawley
  10. A. Hales
  11. P.J. Chase
  12. K.P. Bogart
  13. C. Greene
  14. R.S. Freese
  15. J.B. Nation
  16. J.R. Stonesifer
  17. D. Erickson
Dilworth's Papers on Residuated Lattices

Abstract residuation over lattices, Bulletin of the AMS 44 (1938), 262-267.
(with M. Ward) Residuated Lattices, Proc. of the National Acad. of Science 24 (1938), 162-164.
(with M. Ward) Residuated Lattices, Transactions of the AMS 45 (1939), 335-354.
Non-commutative residuated lattices, Transactions of the AMS 46 (1939), 426-444.

Next
Picture from The Dilworth Theorems: Selected papers of Robert P. Dilworth, edited by K.P. Bogart, R. Freese, J.P.S. Kung, Birkhauser, 1990.

Biographical Information from Obituary: R.P. Dilworth, K.P. Bogart, Order 12: 1-4, 1995