Residuated Lattice

• 剩余格

Residuated Lattice的用法和样例：

例句

1. The algebraic essence of residual lattices for various logical algebras was pointed out.
   进一步指出了各种逻辑代数的剩余格的代数本质。