Документ взят из кэша поисковой машины. Адрес оригинального документа : http://vestnik.math.msu.su/DATA/2012/1/node10
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 22:15:25 2016
Кодировка: Windows-1251
Вестник МГУ. Математика. Механика
Вестник Московского Университета. Математика, Механика - Содержание

УДК 519.716

О замкнутых классах трехзначной логики, порожденных системами, содержащими симметрические функции  / А. В. Михайлович // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2012. ? 1. С. 58-62.

Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат немонотонные симметрические функции, принимающие значения из множества {0,1}. Показано, что в некоторых случаях задачи о базируемости и о конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств.

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

Библиогр. 7.

К оглавлению номера  Go!