Новые константы в суперинтуиционистской логике $L2$

Дана классификация всех полных по П. С. Новикову расширений суперинтуиционистской логики $L2$ в языке с несколькими дополнительными константами. Установлена разрешимость алгоритмической проблемы распознавания консервативности расширений вида $L2+A(\overline\varphi)$ над $L2$.
Библиография: 16 названий.