FE-классификация функций многозначной логикистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.
Аннотация:На множестве функций многозначной логики рассматривается оператор замыкания, заданный на основе систем функциональных уравнений (оператор FE-замыкания). Он порождает FE-классификацию функций многозначной логики, ядро которой составляют классы типа S_G, определяемые группами перестановок G. Доказывается ряд утверждений, которые гарантируют в классах типа S_G FE-предполноту классов только этого типа. Утверждения иллюстрируются на примерах функций 2-, 3- и 4-значной логик.