Логические расширения оператора параметрического замыкания
Логические расширения оператора параметрического замыкания
В обзоре рассматриваются все логические расширения оператора параметрического замыкания - расширения, которые получаются внесением в язык параметрического замыкания произвольных логических связок либо квантора общности. Помимо собственно оператора параметрического замыкания образуются операторы позитивного и импликативного замыкания, а также оператор замыкания с полной системой логических связок и конъюнктивно-кванторный оператор замыкания. Приводятся основные …