林登鮑姆-塔斯基代數

在數理邏輯中，邏輯理論T的林登鮑姆-塔斯基代數（Lindenbaum–Tarski algebra）A由這個理論的句子p的等價類構成（其中等價關係~定義為:p ~ q若且唯若p和q在理論T中邏輯等價的時候，也即在理論T中，句子p與q能互相推出對方）。

在A中的運算繼承自T中能獲得的那些運算，典型的是合取和析取，在這裡它們在這些類上是良定的。當T中存在否定的時候，A是布林代數，假定邏輯是經典邏輯。反或來說，對於所有布林代數A，有（經典）句子邏輯的一個理論T使得T的林登鮑姆-塔斯基代數同構於A。換句話說，所有布林代數都是（不別同構之異）林登鮑姆-塔斯基代數。