Теоретическая кибернетика

Понятие неявной выразимости в \(k\)-значной логике введено А.В. Кузнецовым как одно из обобщений понятия выразимости по суперпозиции. Естественным образом возникает вопрос о неявной полноте систем функций: как по системе функций \(k\)-значной логике можно определить, что над ней неявно выразима любая функция из \(P_k\)? Один из способов — проверить, содержится ли эта система в каком-нибудь из максимальных неявно неполных (неявно предполных) классов. В данном докладе формулируется критерий неявной полноты в терминах неявно предполных классов в трехзначной логике \(P_3\).