概述

序与格（MSC 06）研究偏序集、格以及带有序结构的代数系统。主要问题包括：格的代数与序性质（分配格、模格、完备格）、布尔代数与 Heyting 代数、有序群与有序环，以及格在逻辑与泛代数中的表示。

布尔代数由 G. Boole 在《逻辑的数学分析》（1847）中开创，为命题逻辑提供代数模型。格作为独立对象由 R. Dedekind（模格，约 1900）在研究群与环的子结构时出现，随后 G. Birkhoff 在 1930–40 年代系统建立格论，并以《格论》（1940）成为经典教材。Heyting 代数则对应于直觉主义逻辑。

序结构与格论不仅是代数内部的工具，也在理论计算机科学（域理论、类型论）与逻辑中扮演基础角色。