An ordered sheaf representation of subresiduated lattices
William H. Cornish · Bulletin of the Australian Mathematical Society · 1980
Kennison's concept of an ordered sheaf is used to show that any member of the variety of subresiduated lattices is canonically isomorphic to the algebra of all ordered sections in a certain ordered sheaf, whose base is the Priestley space of the residuating sublattice.