林登鲍姆-塔斯基代数 在数理逻辑中逻辑理论T的林登鲍姆塔斯基代数LindenbaumTarski algebraA由这个理论的句子p的等价类构成其中等价关系定义为p  q当且仅当p和q在理论T中逻辑等价的时候也即在理论T中句子p与q能互相推出对方 在A中的运算继承自T中能获得的那些运算典型的是合取和析取在这里它们在这些类上是良定的当T中存在否定的时候A是布尔代数假定逻辑是经典逻辑反或来说对于所有布尔代数A有经典句子逻辑的一个理论T使得T的林登鲍姆塔斯基代数同构于A换句话说所有布尔代数都是不別同构之異林登鲍姆塔斯基代数 在直觉逻辑的情况下林登鲍姆塔斯基代数是海廷代数 有时简称为林登鲍姆代数这个构造得名于阿道夫林登鲍姆年或年和阿尔弗雷德塔斯基