Show simple item record

Rimatskiy, Vitaliy V.en
Римацкий, Виталий В.ru_RU
2023-09-08T06:59:38Z
2023-09-08T06:59:38Z
2023-10
https://elib.sfu-kras.ru/handle/2311/151674
We describe globally admissible inference rules for logic IPCen
В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPCru_RU
enen
Сибирский федеральный университет. Siberian Federal Universityen
modal logicen
frame and model Kripkeen
admissible and globally admissible infereen
модальная логикаru_RU
фрейм и модель Крипкеru_RU
допустимое правило выводаru_RU
глобально допустимые правила выводаru_RU
Criterion of Global Admissibility for Logic IPCen
Критерий глобальной допустимости в логике IPCru_RU
Journal Articleen
Rimatskiy, Vitaliy V.: Siberian Federal University Krasnoyarsk, Russian Federation; Gemmenty@rambler.ruen
Римацкий, Виталий В.: Сибирский федеральный университет Красноярск, Российская Федерацияru_RU
620–627ru_RU
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics 2023 16 (5)en
HOXOPX


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV