implicative semilattice

Мат. импликативная полурешетка