УДК 519.716.32

Неявно предполные классы и критерий неявной полноты в трехзначной логике / М. В. Старостин. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2018. № 2. С. 56-59.

Рассматривается проблема неявной полноты в трехзначной логике. Дано описание системы всех неявно предполных классов и сформулирован соответствующий критерий неявной полноты.

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

Библиогр. 14.