УДК 511

Полные системы одноместных предикатов для классов Поста / C. В. Быковская. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2016. № 4. С. 33-38.

Рассматривается задача о полноте систем одноместных предикатов, заданных на конечных множествах. Получены критерии полноты произвольной системы одноместных предикатов относительно произвольных множеств булевых функций.

Ключевые слова: одноместные предикаты, замыкание систем предикатов относительно замкнутых классов булевых функций, полнота систем предикатов.

Библиогр. 2.