中的运算继承自"T"中能获得的那些运算，典型的是合取和析取，在这里它们在这些类上是良定的。当"T"中存在否定的时候，"A"是布尔代数，假定逻辑是经典逻辑。反或来说，对于所有布尔代数"A"，有（经典）句子逻辑的一个理论"T"使得"T"的林登鲍姆-塔斯基代数同构于"A"。换句话说，所有布尔代数都是（不别同构之异）林登鲍姆-塔斯基代数。在直觉逻辑的情况下，林登鲍姆-塔斯基代数是海廷代数。有时简称为林登鲍姆代数，这个构造得名于阿道夫·林登鲍姆（1904年－1941或1942年）和阿尔弗雷德·塔斯基。