Семантическая характеризация интуиционистских логических связок

Интуиционистская логическая связка определяется как формула языка элементарной теории моделей Крипке с одной свободной переменной, удовлетворяющая условиям монотонности, релятивизованности по верхнему конусу и устойчивости при сюръективных $p$-морфизмах. Основной результат: интуиционистскими логическими связками являются интерпретации стандартных пропозиционных формул и только они. Библиогр. 11 назв.