НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ

Описание

Перевод названия: 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

Место издания: Новосибирск

Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук

Авторы

Вхождение в базы данных