Residuated Boolean algebra
 
x
OK