ブール代数
Residuated Boolean algebra