residuated Boolean algebra
mathematical structure combining Boolean algebra with additional residuation operations
Press Enter · cited answer in seconds
0 sources
Summary
Key Facts
- George Boole is named after residuated Boolean algebra[1].
- residuated Boolean algebra is a type of Boolean algebra[2].
- residuated Boolean algebra is a type of residuated lattice[3].
Body
Definition and Type
Recorded subclass of include Boolean algebra[2] and residuated lattice[3].
Origins
George Boole is named after residuated Boolean algebra[1].