Concepts
Mathematical structure combining Boolean algebra with additional residuation operations
common · Q7315522