О полноте одной новой интуиционистской связки

А. В. Бессонов предложил пример интуиционистского исчисления, определяющего новую связку по П. С. Новикову. На примере логики Бессонова это определение сравнивается с аналогичным определением, предложенным Д. Габбаем. Показано, что логика Бессонова не удовлетворяет определению Д. Габбая. Построен пример исчисления, удовлетворяющего определению П. С. Новикова, но не имеющего дизъюнктивного свойства.
Библиография: 8 названий.