• 早年的布尔代数的研究，
• 当代的数理逻辑分支抽象代数逻辑。

第一种含义开始于十九世纪中期的奥古斯都·德·摩根和乔治·布尔的工作，接续于查尔斯·皮尔士，达到顶点于 Ernst Schröder 的工作。随着 Leopold Loewenheim 和 Thoralf Skolem 对某些著作的异议，这项工作在塔斯基在他的 1940 年论文中重新阐述了 Schröder 的关系代数并简化了它的公理之后黯然失色。这个论文可以被认为是现代抽象代数逻辑的起点。

• 早年的布尔代数的研究，
• 当代的数理逻辑分支抽象代数逻辑。

第一种含义开始于十九世纪中期的奥古斯都·德·摩根和乔治·布尔的工作，接续于查尔斯·皮尔士，达到顶点于 Ernst Schröder 的工作。随着 Leopold Loewenheim 和 Thoralf Skolem 对某些著作的异议，这项工作在塔斯基在他的 1940 年论文中重新阐述了 Schröder 的关系代数并简化了它的公理之后黯然失色。这个论文可以被认为是现代抽象代数逻辑的起点。