RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский журнал чистой и прикладной математики // Архив

Вестн. НГУ. Сер. матем., мех., информ., 2005, том 5, выпуск 3, страницы 75–88 (Mi vngu215)

Эта публикация цитируется в 2 статьях

Некоторые замечания о конструктивных расширениях минимальной логики

М. В. Стукачева


Аннотация: Рассматривается дизъюнктивное свойство $(DP)$ в классе расширений минимальной логики. Определены два континуальных класса собственно паранепротиворечивых логик с $DP$. Кроме того, получена характеризация в терминах $j$-алгебр и шкал Крипке паранепротиворечивого аналога логики Крайзеля–Патнема $L_{KP}$ и показано, что $L_{KP}\in DP$.

УДК: 510.64



© МИАН, 2024