Эквациональное замыкание и замыкание по перечислению на множестве частичных функций многозначной логикистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 7 июля 2020 г.
Аннотация:В работе доказано, что при любом k>1 операторы эквационального замыкания и замыкания по перечислению (П-оператор) порождают одну и ту же классификацию на множестве P_k^* частичных функций k-значной логики. В классе P_3^* определены 13 П-предполных классов.