Том 17, номер 4, 2010 г., Стр. 18-31

УДК 519.716
Марченков С. С.
Оператор замыкания в многозначной логике, базирующийся на функциональных уравнениях

Аннотация:
На множестве функций многозначной логики на основе систем функциональных уравнений вводится оператор FE-замыкания. Доказывается, что при любом $k\ge2$ оператор FE-замыкания порождает на множестве $P_k$ функций $k$-значной логики конечную классификацию. Устанавливается, что наименьшим классом этой классификации является класс $H_k$ всех однородных функций. Выводится ряд следствий о конечных FE-порождающих множествах в FE-замкнутых классах.
Библиогр. 24.

Ключевые слова: функция многозначной логики, функциональное уравнение, оператор FE-замыкания.

Марченков Сергей Серафимович ¹
1. Московский гос. университет им. М. В. Ломоносова,
Ленинские горы, 119991 Москва, Россия
е-mail: mathcyb@cs.msu.su

Статья поступила 4 февраля 2010 г.