Lindenbaum–tarski代数

在数理逻辑中，逻辑理论 t 的 lindenbaum-tarski 代数 a 由这个理论的句子 p 的等价类构成，其等价关系 ~ 定义为

p ~ q 在 p 和 q 在 t 中逻辑等价的时候。

就是说，在 t 中句子 q 能演绎子 p，p 能演绎自 q。

在 a 中的操作继承自 t 中能获得的那些，典型的是合取和析取，在这里它们在这些类上是良定的。当 t 中存在否定的时候，a 在某种适度的条件下是布尔代数。

有时简称为 lindenbaum 代数，这个构造得名于 adolf lindenbaum(1904年-1941或1942年)和 alfred tarski。