Вход

Статья: ТЕОРЕМА О ПОНИЖЕНИИ МОЩНОСТИ ДЛЯ ЛОГИК QHC И QH4

Скачать

Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4.

Информация о документе

Формат документа: PDF
Кол-во страниц: 1 страница
Загрузил(а): ОНОПРИЕНКО Анастасия Александровна
Лицензия: —
Доступ: Всем
Просмотров: 1

Информация о статье

ISSN: 0373-9252
Префикс DOI: 10.33048/alglog.2022.61.604
Журнал: АЛГЕБРА И ЛОГИКА
Год публикации: 2022
Автор(ы): ОНОПРИЕНКО А. А.
Ключевые фразы: НЕКЛАССИЧЕСКИЕ ЛОГИКИ, СЕМАНТИКА КРИПКЕ, ПЕРЕВОД
УДК: 510.53. Алгоритмические проблемы

Ранее вы смотрели (4)

01. Книга: Разрушение. Т.5. Расчет конструкций на хрупкую прочность.

02. Статья: СОЦИАЛЬНО-ПСИХОЛОГИЧЕСКИЕ ХАРАКТЕРИСТИКИ ЛИЧНОСТИ ЧЛЕНОВ РАЗЛИЧНЫХ ДОБРОВОЛЬЧЕСКИХ ГРУПП

03. Книга: ФИЗИКА ПОЛУПРОВОДНИКОВ

04. Книга: Курс теории упругости (2-е изд.)