|
Математические заметки, 1994, том 56, выпуск 1, страницы 135–142
(Mi mzm2232)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Логика Сметанича $T^{\Phi}$ и два определения новой интуиционистской связки
А. Д. Яшин
Аннотация:
Для логики Сметанича, полученной из интуиционистского исчисления высказываний добавлением одноместной связки $\Phi$ и аксиом $\Phi(p)\equiv\Phi(q)$, $\neg\neg\Phi(p)$, $\Phi(p)\supset(q\vee\neg q)$, строится адекватная семантика в стиле Крипке. Доказано, что эта логика определяет новую интуиционистскую связку и в смысле Д. Габбая.
Библиография: 5 названий.
Поступило: 23.06.1992 Исправленный вариант: 02.12.1993
Образец цитирования:
А. Д. Яшин, “Логика Сметанича $T^{\Phi}$ и два определения новой интуиционистской связки”, Матем. заметки, 56:1 (1994), 135–142; Math. Notes, 56:1 (1994), 745–750
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm2232 https://www.mathnet.ru/rus/mzm/v56/i1/p135
|
Статистика просмотров: |
Страница аннотации: | 352 | PDF полного текста: | 132 | Список литературы: | 58 | Первая страница: | 1 |
|