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

Перевод названия: 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)
• Список ВАК