The preservation of Sahlqvist equations in completions of Boolean algebras with operators

Boolean Algebras with Operators

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

Natural Sciences, Computer Science, Mathematics +8

Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.

Roger D. Maddux · Journal of Symbolic Logic · 1988 · 336 citations

Natural Sciences, Mathematics, Algebra +4

On the canonicity of Sahlqvist identities

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

Humanities, Gender Studies, Textual Criticism +1

Derivation rules as anti-axioms in modal logic

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

Humanities, Mathematics, Formal Methods +12

Atom structures and Sahlqvist equations

Yde Venema · Algebra Universalis · 1997 · 48 citations

Natural Sciences, Mathematics, Physics +6