|
Алгебра и логика, 2011, том 50, номер 2, страницы 246–267
(Mi al483)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
О новых константах в двух предтабличных суперинтуиционистских логиках
А. Д. Яшин Ф-т информ. технол., МГППУ, г. Москва, РОССИЯ
Аннотация:
Даются семантическое описание всех полных по Новикову расширений логики Даммета в языке с несколькими дополнительными константами, а также семантическое описание всех полных по Новикову расширений логики $L2$ в языке с единственной дополнительной константой.
Ключевые слова:
логика Даммета, логика $L2$, полные по Новикову расширения логики.
Поступило: 22.02.2010 Окончательный вариант: 21.09.2010
Образец цитирования:
А. Д. Яшин, “О новых константах в двух предтабличных суперинтуиционистских логиках”, Алгебра и логика, 50:2 (2011), 246–267; Algebra and Logic, 50:2 (2011), 171–186
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al483 https://www.mathnet.ru/rus/al/v50/i2/p246
|
Статистика просмотров: |
Страница аннотации: | 379 | PDF полного текста: | 101 | Список литературы: | 63 | Первая страница: | 7 |
|