On the canonicity of Sahlqvist identities

Boolean Algebras with Operators

Bjarni Jonnson, Alfred Tarski · American Journal of Mathematics · 1952 · 764 citations

Natural Sciences, Computer Science, Mathematics +8

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

Natural Sciences, Computer Science, Mathematics +10

Some theorems about the sentential calculi of Lewis and Heyting

J. C. C. McKinsey, Alfred Tarski · Journal of Symbolic Logic · 1948 · 507 citations

Natural Sciences, Mathematics, Algebra +4

Varieties of complex algebras

Robert Goldblatt · Annals of Pure and Applied Logic · 1989 · 291 citations

Natural Sciences, Mathematics, Algebra +9

The lattice of modal logics: an algebraic investigation

W. J. Blok · Journal of Symbolic Logic · 1980 · 99 citations

Humanities, Computer Science, Mathematics +7