Boolean expressions are complex boolean statements composed of atoms, unary, and binary operators. Atoms are assigned a boolean value (true or false), and can be evaluated into a boolean expression.

Abstract: The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove ...