Its models correspond to BL-algebras.
Нејзините модели соодветствуваат на БЛ-алгебрите.