[1] The archetypal association of this kind, one fundamental to the historical origins of algebraic logic and lying at the heart of all subsequently developed subtheories, is the association between the class of Boolean algebras and classical propositional calculus.
This association was discovered by George Boole in the 1850s, and then further developed and refined by others, especially C. S. Peirce and Ernst Schröder, from the 1870s to the 1890s.
This work culminated in Lindenbaum–Tarski algebras, devised by Alfred Tarski and his student Adolf Lindenbaum in the 1930s.
Her goal was to abstract results and methods known to hold for the classical propositional calculus and Boolean algebras and some other closely related logical systems, in such a way that these results and methods could be applied to a much wider variety of propositional logics.
They related these various forms of the deduction theorem to the properties of the algebraic counterparts of these logical systems.