Sahlqvist s theorem for Boolean algebras with operators with an application to cylindric algebras

Maarten de Rijke, Yde Venema. Sahlqvist s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54(1):61-78, 1995.

Abstract

Abstract is missing.