Формулы Нишимуры как одноместные логические связки в элементарной теории моделей Крипке

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