Stav dette: Residuated lattices