В статье дан обзор основных известных результатов о замкнутых классах в частичной k-значной логике. Основной упор сделан на интервалы замкнутых классов в частичной k-значной логике, порожденные некоторым замкнутым классом A в множестве всюду определенных k-значных функций. Представлены результаты об интервалах Лау, а также недавние результаты об интервалах Int(A), введенных автором. Некоторые результаты приведены с полными доказательствами.

k-значная логика, частичная k-значная логика, замкнутый класс, клон

Математические вопросы и теория численных методов

Алексеев Валерий Борисович,  ,  Московский государственный университет им. М.В. Ломоносова