理逻辑领域。
概述.代数逻辑起源的原型和后续发展的核心基础是在布尔代数类和经典命题演算之间的关联。这种关联是乔治·布尔在1850年代发现的，并被其他人特别是 Ernst Schröder 在1890年代所精致。这项工作在阿尔弗雷德·塔斯基和他的学生 Adolf Lindenbaum 在1930年代提出的 Lindenbaum-Tarski代数中达到顶点。经典代数逻辑包括所有代数逻辑的工作直到大约1960年研究用来“代数化”对特定逻辑研究有价值的指定逻辑系统的指定代数类的性质。一