Boolean algebra
Residuated Boolean algebra