在數理邏輯中，邏輯理論 T 的 Lindenbaum-Tarski 代數 A 由這個理論的句子 p 的等價類構成。
在數理邏輯中，邏輯理論 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。
