|
Вестник НГУ. Серия: Математика, механика, информатика, 2005, том 5, выпуск 3, страницы 75–88
(Mi vngu215)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Некоторые замечания о конструктивных расширениях минимальной логики
М. В. Стукачева
Аннотация:
Рассматривается дизъюнктивное свойство $(DP)$ в классе расширений минимальной логики. Определены два континуальных класса собственно паранепротиворечивых логик с $DP$. Кроме того, получена характеризация в терминах $j$-алгебр и шкал Крипке паранепротиворечивого аналога логики Крайзеля–Патнема $L_{KP}$ и показано, что $L_{KP}\in DP$.
Образец цитирования:
М. В. Стукачева, “Некоторые замечания о конструктивных расширениях минимальной логики”, Вестн. НГУ. Сер. матем., мех., информ., 5:3 (2005), 75–88
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu215 https://www.mathnet.ru/rus/vngu/v5/i3/p75
|
Статистика просмотров: |
Страница аннотации: | 144 | PDF полного текста: | 65 | Список литературы: | 49 | Первая страница: | 1 |
|