在抽象代数中，剩余格是有着特定的简单性质的格，此性质适用于任何环的所有两端的理想状态。
在这个上下文中，这些对象的研究可以回溯到1930年代。最近在各种多值逻辑的真实度的求值中形成这样的一个格来一般化布尔代数、Heyting代数和多值代数。