EN|RU

Том 18, номер 4, 2011 г., Стр. 66-76

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

Аннотация:
На основе языка FE функциональных уравнений многозначной логики определяются операторы FE-, FEC- и QFEC-замыканий. Доказывается, что все три оператора порождают на множестве функций k-значной логики одну и ту же конечную классификацию, совпадающую с классификацией по группам автоморфизмов.
Библиогр. 9.

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

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

Статья поступила 18 января 2011 г.

 © Институт математики им. С. Л. Соболева, 2015