УДК 519.716.32, 510.644

О некоторых неявно предполных классах функций трехзначной логики, сохраняющих подмножества / М. В. Старостин. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2018. № 6. С. 36-40.

Рассматривается проблема полноты по неявной выразимости в трехзначной логике P_3. Описано семейство неявно предполных классов, сохраняющих двухэлементные подмножества.

Ключевые слова: трехзначная логика, неявная выразимость, предполные классы.

Библиогр. 8.

К оглавлению номера  Go!