|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О полноте одной новой интуиционистской связки
А. Д. Яшин Московский государственный университет им. М. В. Ломоносова
Аннотация:
А. В. Бессонов предложил пример интуиционистского исчисления, определяющего новую связку по П. С. Новикову. На примере логики Бессонова это определение сравнивается
с аналогичным определением, предложенным Д. Габбаем. Показано, что логика Бессонова не удовлетворяет определению Д. Габбая. Построен пример исчисления, удовлетворяющего определению П. С. Новикова, но не имеющего дизъюнктивного свойства.
Библиография: 8 названий.
Поступило: 07.02.1994 Исправленный вариант: 16.02.1995
Образец цитирования:
А. Д. Яшин, “О полноте одной новой интуиционистской связки”, Матем. заметки, 60:3 (1996), 423–433; Math. Notes, 60:3 (1996), 313–320
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm1842https://doi.org/10.4213/mzm1842 https://www.mathnet.ru/rus/mzm/v60/i3/p423
|
Статистика просмотров: |
Страница аннотации: | 308 | PDF полного текста: | 124 | Список литературы: | 34 | Первая страница: | 1 |
|