|
Алгебра и логика, 2003, том 42, номер 3, страницы 366–383
(Mi al35)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Классификация полных по Новикову логик с дополнительными логическими константами
А. Д. Яшин
Аннотация:
Дана исчерпывающая классификация полных по Новикову расширений интуиционистской логики высказываний в языке с дополнительными логическими константами.
Ключевые слова:
интуиционистская логика, логическая константа, полнота по Новикову.
Поступило: 12.07.2000 Окончательный вариант: 10.04.2003
Образец цитирования:
А. Д. Яшин, “Классификация полных по Новикову логик с дополнительными логическими константами”, Алгебра и логика, 42:3 (2003), 366–383; Algebra and Logic, 42:3 (2003), 207–216
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al35 https://www.mathnet.ru/rus/al/v42/i3/p366
|
Статистика просмотров: |
Страница аннотации: | 270 | PDF полного текста: | 112 | Список литературы: | 40 | Первая страница: | 1 |
|