О новой константе в интуиционистской логике высказываний

Дана классификация полных по Новикову расширений интуиционистской логики высказываний в языке с одной дополнительной константой. Доказана разрешимость массовой проблемы консервативности исчислений в этом языке над обычным интуиционистским пропозициональным исчислением.