Перевод названия: Independent bases for admissible rules of pretabular modal logic and its extensions
Тип публикации: статья из журнала
Год издания: 2013
Ключевые слова: (pretabular) modal logic, frame (model) Kripke, Admissible inference rule, basуs for admissible rules, модальная логика, фрейм (модель) Крипке, допустимое правило вывода, базис допустимых правил
Аннотация: В представленной статье описывается явный независимый базис допустимых правил предтабличных модальных логик $PT2, PT3$. Как следствие описан базис допустимых правил всех расширений данных логик и базис глобально допустимых в них правил. We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.
Издание
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 10
Номера страниц: 79-89
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук
Персоны
- Римацкий Виталий Валентинович (Сибирский Федеральный Университет, Институт математики)
- Кияткин Владимир Ростиславович (Сибирский Федеральный Университет, Институт математики)
Вхождение в базы данных
- Ядро РИНЦ (eLIBRARY.RU)
- Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.