Аннотация:
В обзоре рассматриваются все логические расширения оператора параметрического замыкания — расширения, которые получаются внесением в язык параметрического замыкания произвольных логических связок либо квантора общности. Помимо собственно оператора параметрического замыкания образуются операторы позитивного и импликативного замыкания, а также оператор замыкания с полной системой логических связок и конъюнктивно-кванторный оператор замыкания. Приводятся основные факты о классификациях множеств $P_k$, порождаемых данными операторами.
Ключевые слова:оператор параметрического замыкания, логическое расширение оператора замыкания.
Полный текст:
PDF файл (448 kB)