Перевод названия: 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 aПоказать полностьюnd all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 10
Номера страниц: 79-89
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук