Atom structures and Sahlqvist equations

Boolean Algebras with Operators

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

Natural Sciences, Computer Science, Mathematics +8

On the canonicity of Sahlqvist identities

Bjarni J�nsson · Studia Logica · 1994 · 105 citations

Humanities, Gender Studies, Textual Criticism +1

Nonfinitizability of classes of representable cylindric algebras

J. Donald Monk · Journal of Symbolic Logic · 1969 · 98 citations

Humanities, Mathematics, Algebra +8

Complete representations in algebraic logic

Robin Hirsch, Ian Hodkinson · Journal of Symbolic Logic · 1997 · 95 citations

Natural Sciences, Computer Science, Mathematics +9

Derivation rules as anti-axioms in modal logic

Yde Venema · Journal of Symbolic Logic · 1993 · 85 citations · Full text

Humanities, Mathematics, Formal Methods +12