röder 的工作。模型论的创立者 Leopold Loewenheim 和 Thoralf Skolem 是遵循代数传统的逻辑学家。塔斯基是现代数理逻辑主要分支之一的集合论上的模型论的创立者，他在 1940 年的论文中重新阐述了 Schröder 的关系代数并简化了它的公理。这个论文可以被认为是现代抽象代数逻辑的起点。代数逻辑可以证明开始于莱布尼兹在 1680 年代写的许多备忘录中，直到 1903 年才被 Louis Couturat 在莱布尼兹未发表的遗作中找到并出版。他的逻辑学着作在 Parkin