Deakstadieđáhus: Residuated lattices