Boolean-like algebra, De Morgan monoids, discriminator variety, double-pointed variety, relation algebras, Relevant logics.
