Журн. СФУ. Сер. Матем. и физ.,
2023, том 16, выпуск 5, страницы 620–627
(Mi jsfu1109)
|
Criterion of global admissibility for logic $\mathrm{IPC}$
[Критерий глобальной допустимости в логике
$\mathrm{IPC}$]
Vitaliy V. Rimatskiy Siberian Federal University, Krasnoyarsk, Russian Federation
Аннотация:
В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике
$\mathrm{ IPC}$.
Ключевые слова:
модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода.
УДК:
510.643; 517.11
Получена: 29.04.2023
Исправленный вариант: 16.06.2023
Принята: 01.08.2023
Язык публикации: английский
© , 2024
Полный текст:
PDF файл (131 kB)