Алгебра Линденбаума — Тарского

А́лгебра Линденба́ума — Та́рского (часть источников называет её алгеброй Линденбаума) в математической логике определяется для логической теории как множество классов логически равносильных предложений этой теории. Для этих классов определены обычные логические операции. Данная алгебра впервые появилась в статье Альфреда Тарского (1935 год) как способ установить соответствие между логикой высказываний и теорией булевых алгебр. Развитая Адольфом Линденбаумом и другими математиками, эта структура стала источником современной .