Сибирский федеральный университет 
- Номер
- Журнал СФУ. Математика и физика. 2023 16 (5)
- Авторы
- Римацкий, Виталий В.
- Контактная информация
- Римацкий, Виталий В.: Сибирский федеральный университет Красноярск, Российская Федерация
- Ключевые слова
- modal logic; frame and model Kripke; admissible and globally admissible infere; модальная логика; фрейм и модель Крипке; допустимое правило вывода; глобально допустимые правила вывода
- Аннотация
В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC
- Страницы
- 620–627
- EDN
- HOXOPX
- Статья в архиве электронных ресурсов СФУ
- https://elib.sfu-kras.ru/handle/2311/151674
Журнал СФУ. Математика и физика / Критерий глобальной допустимости в логике IPC
Полный текст (.pdf)