Начало см. здесь.

Копия дискуссии: "Двойственность в булевой алгебре и не только" на форуме dxdy.
Ниже приведены копии отдельных постов со Страницы 6 этой дискуссии. Начало указанной дискуссии на самом форуме dxdy см. здесь.

Пост от 18.03.2009 на странице http://dxdy.ru/topic16277-75.html.

http://dxdy.ru/topic16277-45.html;

http://en.wikipedia.org/wiki/Topological_Boolean_algebra;

http://en.wikipedia.org/wiki/Interior_algebra;

http://en.wikipedia.org/wiki/Closure_operator;

http://en.wikipedia.org/wiki/Kuratowski_closure_axioms;

http://en.wikipedia.org/wiki/Modal_logic;

Продолжение см. здесь.