импликативная алгебра

Мат. implicative algebra