都·德·摩根和乔治·布尔的工作，接续于查尔斯·皮尔士，达到顶点于 Ernst Schröder 的工作。模型论的创立者 Leopold Loewenheim 和 Thoralf Skolem 是遵循代数传统的逻辑学家。塔斯基是现代数理逻辑主要分支之一的集合论上的模型论的创立者，他在 1940 年的论文中重新阐述了 Schröder 的关系代数并简化了它的公理。这个论文可以被认为是现代抽象代数逻辑的起点。代数逻辑可以证明开始于莱布尼兹在 1680 年代写的许多备忘录中，直到 1903 年才被 Louis