 On the basis of his previous algebraic work, Schröder wrote an encyclopedic three volume work at the end of the 19th century called Vorlesungen über die Algebra der Logik (1890–1905), built on the subsumption framework with the modern semantics of classes as presented by Peirce. This work was the result of his research in algebra and revealed different influences. Schröder aimed at a general algebraic theory with applications in many mathematical fields, where the algebra of logic was at the core. As Geraldine Brady pointed out, it offers the first exposition of abstract lattice theory, the first exposition of Dedekind’s theory of chains after Dedekind, the most comprehensive development of the calculus of relations, and a treatment of the foundations of mathematics on the basis of the relation calculus (see Brady 2000: 143 f.)