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

Приведены три определения интуиционистских логических связок в моделях Крипке. Показано, что эти определения адекватно характеризуют наборы стандартных интуиционистских связок с “необходимостью”, связок логики Гейтинга–Брауэра, и связок логики Гейтинга–Брауэра с необходимостью.
Библиогр. 11 назв.