Том 10, серия 1, номер 3, 2003 г., Стр. 82-105
УДК 519.716
Е. А. Орехова
О критерии неявной шефферовости в трехзначной логике
Аннотация:
Установлен критерий неявной шефферовости функций трехзначной логики. Описаны 22 замкнутых класса, невхождение в которые является необходимым и достаточным условием неявной шефферовости в$P_3$ .
Орехова Е. А. 1
1. МГУ, мех.-мат. факультет, Воробьевы горы,
119992 Москва, Россия
Статья поступила 17 июня 2003 г.
