Логика Сметанича $T^{\Phi}$ и два определения новой интуиционистской связки

Для логики Сметанича, полученной из интуиционистского исчисления высказываний добавлением одноместной связки $\Phi$ и аксиом $\Phi(p)\equiv\Phi(q)$, $\neg\neg\Phi(p)$, $\Phi(p)\supset(q\vee\neg q)$, строится адекватная семантика в стиле Крипке. Доказано, что эта логика определяет новую интуиционистскую связку и в смысле Д. Габбая.
Библиография: 5 названий.