|
Математические заметки, 1985, том 38, выпуск 1, страницы 157–166
(Mi mzm5469)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Семантическая характеризация интуиционистских логических связок
А. Д. Яшин
Аннотация:
Интуиционистская логическая связка определяется как формула языка элементарной теории моделей Крипке с одной свободной переменной, удовлетворяющая условиям монотонности, релятивизованности по
верхнему конусу и устойчивости при сюръективных $p$-морфизмах. Основной результат: интуиционистскими логическими связками являются интерпретации стандартных пропозиционных формул и только они. Библиогр. 11 назв.
Поступило: 18.12.1984
Образец цитирования:
А. Д. Яшин, “Семантическая характеризация интуиционистских логических связок”, Матем. заметки, 38:1 (1985), 157–166; Math. Notes, 38:1 (1985), 600–606
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm5469 https://www.mathnet.ru/rus/mzm/v38/i1/p157
|
Статистика просмотров: |
Страница аннотации: | 299 | PDF полного текста: | 102 | Первая страница: | 1 |
|