Показать сокращенную информацию
Criterion of Global Admissibility for Logic IPC
| Автор | Rimatskiy, Vitaliy V. | en |
| Автор | Римацкий, Виталий В. | ru_RU |
| Дата внесения | 2023-09-08T06:59:38Z | |
| Дата, когда ресурс стал доступен | 2023-09-08T06:59:38Z | |
| Дата публикации | 2023-10 | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/151674 | |
| Аннотация | We describe globally admissible inference rules for logic IPC | en |
| Аннотация | В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC | ru_RU |
| Язык | en | en |
| Издатель | Сибирский федеральный университет. Siberian Federal University | en |
| Тема | modal logic | en |
| Тема | frame and model Kripke | en |
| Тема | admissible and globally admissible infere | en |
| Тема | модальная логика | ru_RU |
| Тема | фрейм и модель Крипке | ru_RU |
| Тема | допустимое правило вывода | ru_RU |
| Тема | глобально допустимые правила вывода | ru_RU |
| Название | Criterion of Global Admissibility for Logic IPC | en |
| Альтернативное название | Критерий глобальной допустимости в логике IPC | ru_RU |
| Тип | Journal Article | en |
| Контакты автора | Rimatskiy, Vitaliy V.: Siberian Federal University Krasnoyarsk, Russian Federation; Gemmenty@rambler.ru | en |
| Контакты автора | Римацкий, Виталий В.: Сибирский федеральный университет Красноярск, Российская Федерация | ru_RU |
| Страницы | 620–627 | ru_RU |
| Журнал | Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics 2023 16 (5) | en |
| EDN | HOXOPX |
