Оператор FE-замыкания в счетнозначной логикестатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
Аннотация:На множестве функций счетнозначной логики рассматриваются оператор FE-замыкания. Доказано, что всякий общерекурсивный оператор можно реализовать в языке FE-замыкания. Установлено, что класс отношений, определимых в языке FE-замыкания, совпадает с начальным классом аналитической иерархии Клини. Показано, что принадлежность FE-замкнутому классу любой нетривиальной однородной функции приводит к включению в этот класс всего множества однородных функций.