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

Перевод названия: 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$. Как следствие описан базис допустимых правил всех расширений данных логик и базис глобально допустимых в них правил.

Ссылки на полный текст

Издание

Журнал: Сибирские электронные математические известия

Выпуск журнала: Т. 10

Номера страниц: 79-89

ISSN журнала: 18133304

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

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

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.