О финитной аппроксимируемости суперинтуиционистских логик

Доказывается финитная аппроксимируемость суперинтуционистских логик высказываний, порожденных формулами, удовлетворяющими некоторому достаточному условию. Как следствие получается финитная аппроксимируемость логик, порожденных формулами с одной переменной. Строится формула с двумя переменными, порождающая не финитно аппроксимируемую логику. Все ранее известные не финитно аппроксимируемые логики порождаются формулами от трех и более переменных (см. РЖМат., 1971, 5А64 и 1972, 6А84).
Рисунков: 1.
Библиография: 6 названий.