residuated Boolean algebra

mathematical structure combining Boolean algebra with additional residuation operations