Тип публикации: статья из журнала
Год издания: 2023
Ключевые слова: modal logic, frame and model Kripke, admissible and globally admissible infer, модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода
Аннотация: We describe globally admissible inference rules for logic IPC В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC.
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т.16, №5
Номера страниц: 620-627
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Сибирский федеральный университет