О порождающих системах в классах монотонных функций многозначной логикистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 8 сентября 2021 г.
Аннотация:Рассматривается задача о конечной порожденности предполных классов монотонных функций k-значной логики. Для семейства всех частично упорядоченных множеств с наименьшим и наибольшим элементами, таких, что для любых двух элементов x и y существует sup(x,y) или inf(x,y), установлено, что соответствующие классы монотонных функций являются конечно-порожденными.