For instance , involutive negation characterizes Boolean algebras among Heyting algebras .
The involutiveness of negation is an important characterization property for logics and the corresponding varieties of algebras .
Involutive negation characterizes Boolean algebras among Heyting algebras .
The involutiveness of negation is an important characterization property for logics and the corresponding varieties of algebras .