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

p~q在p和q在t中逻辑等价的时候。
就是说，在t中句子q能演绎子p，p能演绎自q。

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

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