###
Computational Aspects of Residuated Lattices

###
Peter Jipsen

###
Vanderbilt University / University of Cape Town

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

Students:

- D.T. Finkbeiner
- W. Doyle
- J.E. McLauglin
- R.B. Talmadge
- R.S. Pierce
- D.E. Edmondson
- J. Hartmanis
- J.B. Johnston
- P. Crawley
- A. Hales
- P.J. Chase
- K.P. Bogart
- C. Greene
- R.S. Freese
- J.B. Nation
- J.R. Stonesifer
- 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