Computational Aspects of Residuated Lattices
Vanderbilt University / University of Cape Town
1914 - 1993; BSc, PhD Caltech (1939); Advisor: Morgan Ward
Dilworth's Papers on Residuated Lattices
- 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
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.
Picture from The Dilworth Theorems: Selected papers of Robert P.
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