Расширения оператора позитивного замыкания с помощью логических связок

Оператор позитивного замыкания определяется на основе логических формул, содержащих логические связки $\vee,\&$ и квантор $\exists$. Рассматриваются расширения оператора позитивного замыкания с помощью произвольных логических связок (не только бинарных). Устанавливается, что всякое собственное расширение оператора позитивного замыкания с помощью логических связок даёт либо оператор с полной системой логических связок, либо оператор импликативного замыкания (расширение с помощью связки импликации). Для оператора импликативного замыкания получено описание всех замкнутых классов в терминах полугрупп эндоморфизмов. Библиогр. 11.