Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 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

Место издания: Красноярск

Издатель: Сибирский федеральный университет

• Rimatskiy Vitaliy V. (Siberian Federal University)

• Ядро РИНЦ (eLIBRARY.RU)