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