A subresiduated lattice is a pair (A, D), where bounded distributive lattice, D sublattice of and for every $$a,b\in A$$ there $$c\in D$$ such that all $$d\in , $$d\wedge a\le b$$ if only $$d\le c$$ . This c denoted by $$a\rightarrow can be regarded as an algebra $$\left$$ type (2, 2, 0, 0) $$D=\{a\in A\mid 1\rightarrow a=a\}$$ The class lattices variety ...