If is a closure algebra, let be the set of open elements in , then has the natural structure of a Heyting algebra. Moreover any Heyting algebra can be represented as the algebra of open elements of a closure algebra.
Closure algebras underly the algebraic semantic models of the epistemic logic .
The algebraic semantics of uses polyclosure algebra?s. Here there are many different closure operators on the Boolean algebra.
Revised on December 24, 2010 07:17:48
by Toby Bartels